diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-03-06 18:37:08 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-03-06 18:37:08 -0500 |
| commit | 73e559fbe4182828742ac1b1d108bcdc42bc46d6 (patch) | |
| tree | 22c4d6245114cf3ba72701dafe18b84ce72e3f66 /typecheck.h | |
| parent | 09423f6d42d86c62beefa4607fba41e3698f1850 (diff) | |
Support 'when' for literal values with equality checking
Diffstat (limited to 'typecheck.h')
| -rw-r--r-- | typecheck.h | 1 |
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); |
