aboutsummaryrefslogtreecommitdiff
path: root/typecheck.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-09-06 14:15:55 -0400
committerBruce Hill <bruce@bruce-hill.com>2024-09-06 14:15:55 -0400
commit11fa4f548ca71baa96a9dba4aa9a24051de265d3 (patch)
tree950a5142db5c5ec211229109d1fd7a1f04f14f4f /typecheck.h
parent7239ec4083128cc002ad8bd16824824d71b20116 (diff)
Support 'when' statements as expressions
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 ea4fe0e3..bca21ba8 100644
--- a/typecheck.h
+++ b/typecheck.h
@@ -21,6 +21,7 @@ type_t *get_file_type(env_t *env, const char *path);
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);
+type_t *get_clause_type(env_t *env, type_t *subject_t, when_clause_t *clause);
bool can_be_mutated(env_t *env, ast_t *ast);
type_t *parse_type_string(env_t *env, const char *str);
type_t *get_method_type(env_t *env, ast_t *self, const char *name);