aboutsummaryrefslogtreecommitdiff
path: root/typecheck.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-03-06 18:37:08 -0500
committerBruce Hill <bruce@bruce-hill.com>2025-03-06 18:37:08 -0500
commit73e559fbe4182828742ac1b1d108bcdc42bc46d6 (patch)
tree22c4d6245114cf3ba72701dafe18b84ce72e3f66 /typecheck.h
parent09423f6d42d86c62beefa4607fba41e3698f1850 (diff)
Support 'when' for literal values with equality checking
Diffstat (limited to 'typecheck.h')
-rw-r--r--typecheck.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/typecheck.h b/typecheck.h
index 1175e5fd..cc5cb18c 100644
--- a/typecheck.h
+++ b/typecheck.h
@@ -21,6 +21,7 @@ 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_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);
type_t *get_clause_type(env_t *env, type_t *subject_t, when_clause_t *clause);
PUREFUNC bool can_be_mutated(env_t *env, ast_t *ast);
type_t *parse_type_string(env_t *env, const char *str);