aboutsummaryrefslogtreecommitdiff
path: root/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-03-05 12:55:38 -0500
committerBruce Hill <bruce@bruce-hill.com>2024-03-05 12:55:38 -0500
commit558c8588ee2aa772442837be16a7ed19a36cc753 (patch)
tree9e26518ae0f7956e21c7b7d55350f7f51e3e81eb /typecheck.c
parent103edd636205921e1afadd91a284f3ead22afcce (diff)
Fix default values for structs
Diffstat (limited to 'typecheck.c')
-rw-r--r--typecheck.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/typecheck.c b/typecheck.c
index 98597330..165e74dd 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -121,7 +121,7 @@ void bind_statement(env_t *env, ast_t *statement)
type_t *type = Type(StructType, .name=def->name, .fields=fields, .opaque=true); // placeholder
Table_str_set(env->types, def->name, type);
for (arg_ast_t *field_ast = def->fields; field_ast; field_ast = field_ast->next) {
- type_t *field_t = parse_type_ast(env, field_ast->type);
+ type_t *field_t = get_arg_ast_type(env, field_ast);
if ((field_t->tag == StructType && Match(field_t, StructType)->opaque)
|| (field_t->tag == EnumType && Match(field_t, EnumType)->opaque))
code_err(field_ast->type, "This type is recursive and would create an infinitely sized struct. Try using a pointer.");
@@ -150,7 +150,7 @@ void bind_statement(env_t *env, ast_t *statement)
for (tag_ast_t *tag_ast = def->tags; tag_ast; tag_ast = tag_ast->next) {
arg_t *fields = NULL;
for (arg_ast_t *field_ast = tag_ast->fields; field_ast; field_ast = field_ast->next) {
- type_t *field_t = parse_type_ast(env, field_ast->type);
+ type_t *field_t = get_arg_ast_type(env, field_ast);
if ((field_t->tag == StructType && Match(field_t, StructType)->opaque)
|| (field_t->tag == EnumType && Match(field_t, EnumType)->opaque))
code_err(field_ast->type, "This type is recursive and would create an infinitely sized struct. Try using a pointer.");