From 0b8074154e2671691050bdb3bcb33245625a056c Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Fri, 4 Apr 2025 17:06:09 -0400 Subject: First working compile of refactor to add explicit typing to declarations and support untyped empty collections and `none`s --- src/typecheck.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/typecheck.h') 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 -- cgit v1.2.3