diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-09-06 14:38:58 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-09-06 14:38:58 -0400 |
| commit | 73246764f88f6f652316ee0c138a990d836698a7 (patch) | |
| tree | b2d340ef387b14727011465877f8e99a433ba3ef /src/typecheck.c | |
| parent | cdb326a6e74e80bea9bffbeaaff1c5d1f4c9e733 (diff) | |
Fixes for prior changes
Diffstat (limited to 'src/typecheck.c')
| -rw-r--r-- | src/typecheck.c | 2 |
1 files changed, 2 insertions, 0 deletions
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); |