diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-09-06 13:51:18 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-09-06 13:51:18 -0400 |
| commit | aa15f0f78214cefa9fabace61c119e01812a3050 (patch) | |
| tree | c6df00685eca8ca2f9626ea8777b0ecee3828e15 /src/typecheck.h | |
| parent | 94ff047dd74cd3ad793f68503729a0fe004c10f4 (diff) | |
Refactor a bit in order to catch issue with ConvertDefs creating
infinite loops
Diffstat (limited to 'src/typecheck.h')
| -rw-r--r-- | src/typecheck.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/typecheck.h b/src/typecheck.h index 8fc30333..d64bb316 100644 --- a/src/typecheck.h +++ b/src/typecheck.h @@ -16,7 +16,8 @@ void prebind_statement(env_t *env, ast_t *statement); void bind_statement(env_t *env, ast_t *statement); PUREFUNC type_t *get_math_type(env_t *env, ast_t *ast, type_t *lhs_t, type_t *rhs_t); PUREFUNC bool is_discardable(env_t *env, ast_t *ast); -type_t *get_function_def_type(env_t *env, ast_t *ast); +type_t *get_function_type(env_t *env, ast_t *ast); +type_t *get_function_return_type(env_t *env, ast_t *ast); type_t *get_arg_type(env_t *env, arg_t *arg); type_t *get_arg_ast_type(env_t *env, arg_ast_t *arg); env_t *when_clause_scope(env_t *env, type_t *subject_t, when_clause_t *clause); |
