aboutsummaryrefslogtreecommitdiff
path: root/environment.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-03-09 17:52:48 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-03-09 17:52:48 -0400
commit94ed28b4d19692cccc9da7640931ed45d31e47c6 (patch)
tree1c57de73ec25e256d63250551c27cafdba1f63d7 /environment.c
parent6abd4e80244a7fa73a7213101b1d61e4df1b6689 (diff)
Add better typechecking for Abort (and add `Abort` as a user-reachable
type) and check for unreachable code
Diffstat (limited to 'environment.c')
-rw-r--r--environment.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/environment.c b/environment.c
index ca33ee49..1c8df4ce 100644
--- a/environment.c
+++ b/environment.c
@@ -99,6 +99,7 @@ env_t *new_compilation_unit(CORD libname)
Array_t namespace;
} global_types[] = {
{"Void", Type(VoidType), "Void_t", "Void$info", {}},
+ {"Abort", Type(AbortType), "void", "Abort$info", {}},
{"Memory", Type(MemoryType), "Memory_t", "Memory$info", {}},
{"Bool", Type(BoolType), "Bool_t", "Bool$info", TypedArray(ns_entry_t,
{"parse", "Bool$parse", "func(text:Text -> Bool?)"},