From 73246764f88f6f652316ee0c138a990d836698a7 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 6 Sep 2025 14:38:58 -0400
Subject: Fixes for prior changes

---
 src/typecheck.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/typecheck.c')

diff --git a/src/typecheck.c b/src/typecheck.c
index e34a85de..07f8aac4 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -606,6 +606,8 @@ type_t *get_function_type(env_t *env, ast_t *ast) {
 
     if (ast->tag == Lambda) {
         ast_t *body = Match(ast, Lambda)->body;
+
+        scope->fn = NULL;
         type_t *ret_t = get_type(scope, body);
         if (ret_t->tag == ReturnType) ret_t = Match(ret_t, ReturnType)->ret;
         if (ret_t->tag == AbortType) ret_t = Type(VoidType);
-- 
cgit v1.2.3