Bruce/tomo
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Activity

Be more conservative about disallowing constructors as top-level

Browse Source 
initializers
This commit is contained in:
Bruce Hill 2025-03-10 13:40:58 -04:00
parent 7f75a34bce
commit 839abfc294
1 changed files with 1 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
typecheck.c
View File

@ -1549,26 +1549,7 @@ PUREFUNC bool is_constant(env_t *env, ast_t *ast)
}
}
case Use: return true;
case FunctionCall: {
// Constructors are allowed:
auto call = Match(ast, FunctionCall);
if (call->fn->tag != Var) return false;
binding_t *b = get_binding(env, Match(call->fn, Var)->name);
if (b == NULL || b->type->tag != TypeInfoType) return false;
type_t *t = Match(b->type, TypeInfoType)->type;
if (t->tag == IntType) {
return call->args->value->tag == Int;
} else if (t->tag == NumType) {
return call->args->value->tag == Num;
}
for (arg_ast_t *arg = call->args; arg; arg = arg->next) {
if (!is_constant(env, arg->value))
return false;
}
return true;
}
case FunctionCall: return false;
case InlineCCode: return true;
default: return false;
}