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

Fix for empty constructors

Browse Source
This commit is contained in:
Bruce Hill 2024-11-25 16:03:13 -05:00
parent 922b585700
commit 971b72fa25
1 changed files with 19 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
compile.c
View File

@ -3069,16 +3069,8 @@ CORD compile(env_t *env, ast_t *ast)
return CORD_all(fn, "(", compile_arguments(env, ast, Match(fn_t, FunctionType)->args, call->args), ")");
} else if (fn_t->tag == TypeInfoType) {
type_t *t = Match(fn_t, TypeInfoType)->type;
if (!call->args)
code_err(ast, "This constructor requires an argument!");
type_t *actual = get_type(env, call->args->value);
if (type_eq(actual, t)) {
if (call->args->next)
code_err(ast, "This is too many arguments!");
return compile(env, call->args->value);
}
type_t *actual = call->args ? get_type(env, call->args->value) : NULL;
if (t->tag == StructType) {
// Struct constructor:
fn_t = Type(FunctionType, .args=Match(t, StructType)->fields, .ret=t);
@ -3093,6 +3085,15 @@ CORD compile(env_t *env, ast_t *ast)
return compile_num_to_type(call->args->value, t);
} else if (t->tag == NumType || t->tag == BigIntType) {
if (!call->args) code_err(ast, "This constructor needs a value");
if (!call->args)
code_err(ast, "This constructor requires an argument!");
if (type_eq(actual, t)) {
if (call->args->next)
code_err(ast, "This is too many arguments!");
return compile(env, call->args->value);
}
arg_t *args = new(arg_t, .name="i", .type=actual); // No truncation argument
CORD arg_code = compile_arguments(env, ast, args, call->args);
if (is_numeric_type(actual)) {
@ -3107,6 +3108,15 @@ CORD compile(env_t *env, ast_t *ast)
code_err(ast, "You cannot convert a %T to a %T this way.", actual, t);
}
} else if (t->tag == IntType || t->tag == ByteType) {
if (!call->args)
code_err(ast, "This constructor requires an argument!");
if (type_eq(actual, t)) {
if (call->args->next)
code_err(ast, "This is too many arguments!");
return compile(env, call->args->value);
}
if (is_numeric_type(actual)) {
arg_t *args = new(arg_t, .name="i", .type=actual, .next=new(arg_t, .name="truncate", .type=Type(BoolType),
.default_val=FakeAST(Bool, false)));