diff options
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); |