From a43b807ef3775f2cc0440b1b07c6bc2b8c523e8a Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 25 May 2025 14:49:36 -0400
Subject: Add extra check to make sure extend is extending a type and not
 something else

---
 src/compile.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/compile.c b/src/compile.c
index 89cb667b..e5d0e0ec 100644
--- a/src/compile.c
+++ b/src/compile.c
@@ -4384,7 +4384,7 @@ CORD compile_top_level_code(env_t *env, ast_t *ast)
     case Extend: {
         DeclareMatch(extend, ast, Extend);
         binding_t *b = get_binding(env, extend->name);
-        if (!b)
+        if (!b || b->type->tag != TypeInfoType)
             code_err(ast, "'", extend->name, "' is not the name of any type I recognize.");
         env_t *ns_env = Match(b->type, TypeInfoType)->env;
         env_t *extended = new(env_t);
-- 
cgit v1.2.3