Serendipity/l-language
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

feat: 数组支持 struct 元素类型 [Point; N]

Browse Source
This commit is contained in:
刘航宇
2026-06-05 19:38:48 +08:00
parent beac40fd74
commit a45f7d8e2f
2 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/sema/sema.c
+10 -1
View File
@@ -719,12 +719,21 @@ static void analyze_node(AstNode* node, Scope* scope, ErrorList* errors, Arena*
error_add(errors, "<sema>", node->loc.line, node->loc.col,
"数组索引必须是 i64 类型, 得到 '%s'", type_name(idx->type.kind));
}
TypeKind elem_kind = sym->type == TYPE_ARRAY ? TYPE_I64 : sym->type;
TypeKind elem_kind = (sym->type == TYPE_ARRAY) ? sym->array_element_type : sym->type;
if (val->type.kind != TYPE_ERROR && val->type.kind != elem_kind) {
error_add(errors, "<sema>", node->loc.line, node->loc.col,
"数组元素类型不匹配: 期望 '%s'，得到 '%s'",
type_name(elem_kind), type_name(val->type.kind));
}
// struct 元素类型时还需检查结构体名是否匹配
if (val->type.kind != TYPE_ERROR && elem_kind == TYPE_STRUCT
&& sym->array_element_struct_name && val->type.struct_name) {
if (strcmp(sym->array_element_struct_name, val->type.struct_name) != 0) {
error_add(errors, "<sema>", node->loc.line, node->loc.col,
"数组元素类型不匹配: 期望 '%s'，得到 '%s'",
sym->array_element_struct_name, val->type.struct_name);
}
}
node->type.kind = TYPE_VOID;
break;
}