From 26723deea26f76670f8de07702b3be221d8503fa Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 17 Feb 2024 20:47:43 -0500
Subject: Incremental fixes

---
 typecheck.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index 33e2b122..37a222fe 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -102,6 +102,13 @@ void bind_statement(env_t *env, ast_t *statement)
         set_binding(env, Match(decl->var, Var)->name, new(binding_t, .type=type));
         break;
     }
+    case StructDef: {
+        auto def = Match(statement, StructDef);
+        type_t *type = Table_str_get(env->types, def->name);
+        type_t *constructor_t = Type(FunctionType, .args=Match(type, StructType)->fields, .ret=type);
+        set_binding(env, def->name, new(binding_t, .type=constructor_t));
+        break;
+    }
     default: break;
     }
 }
-- 
cgit v1.2.3