aboutsummaryrefslogtreecommitdiff
path: root/src/typecheck.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-09-06 13:51:18 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-09-06 13:51:18 -0400
commitaa15f0f78214cefa9fabace61c119e01812a3050 (patch)
treec6df00685eca8ca2f9626ea8777b0ecee3828e15 /src/typecheck.h
parent94ff047dd74cd3ad793f68503729a0fe004c10f4 (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.h3
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);