diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-04 17:06:09 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-04 17:06:09 -0400 |
| commit | 0b8074154e2671691050bdb3bcb33245625a056c (patch) | |
| tree | 1410e0c4e05c6372e876cd08f16d117e12868f41 /src/typecheck.h | |
| parent | fadcb45baf1274e06cfe37b87655b9146aa52874 (diff) | |
First working compile of refactor to add explicit typing to declarations
and support untyped empty collections and `none`s
Diffstat (limited to 'src/typecheck.h')
| -rw-r--r-- | src/typecheck.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/typecheck.h b/src/typecheck.h index cc5cb18c..4342acc2 100644 --- a/src/typecheck.h +++ b/src/typecheck.h @@ -29,5 +29,6 @@ type_t *get_method_type(env_t *env, ast_t *self, const char *name); PUREFUNC bool is_constant(env_t *env, ast_t *ast); Table_t *get_arg_bindings(env_t *env, arg_t *spec_args, arg_ast_t *call_args, bool promotion_allowed); bool is_valid_call(env_t *env, arg_t *spec_args, arg_ast_t *call_args, bool promotion_allowed); +PUREFUNC bool can_compile_to_type(env_t *env, ast_t *ast, type_t *needed); // vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0 |