From 94ed28b4d19692cccc9da7640931ed45d31e47c6 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 9 Mar 2025 17:52:48 -0400
Subject: Add better typechecking for Abort (and add `Abort` as a
 user-reachable type) and check for unreachable code

---
 environment.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'environment.c')

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?)"},
-- 
cgit v1.2.3