From 5e119f776780c05ca2002ef692d7458801585bdc Mon Sep 17 00:00:00 2001 From: Zuhaitz Méndez Fernández de Aránguiz Date: Mon, 12 Jan 2026 21:17:36 +0000 Subject: lowercase types support. --- src/parser/parser_expr.c | 2 - src/parser/parser_type.c | 99 ++++++++++++++++++++++++++++++++++++++++++++++- src/parser/parser_utils.c | 48 +++++++++++++++++++++++ 3 files changed, 146 insertions(+), 3 deletions(-) (limited to 'src/parser') diff --git a/src/parser/parser_expr.c b/src/parser/parser_expr.c index b451a26..93a50e2 100644 --- a/src/parser/parser_expr.c +++ b/src/parser/parser_expr.c @@ -2855,7 +2855,6 @@ ASTNode *parse_expr_prec(ParserContext *ctx, Lexer *l, Precedence min_prec) call->call.arg_names = has_named ? arg_names : NULL; call->call.arg_count = arg_count; - // FIX: Propagate return type from function type info call->resolved_type = xstrdup("unknown"); if (lhs->type_info && lhs->type_info->kind == TYPE_FUNCTION && lhs->type_info->inner) { @@ -3037,7 +3036,6 @@ ASTNode *parse_expr_prec(ParserContext *ctx, Lexer *l, Precedence min_prec) node->type_info = get_field_type(ctx, lhs->type_info, node->member.field); - // FIX: If not a field, check if it is a method if (!node->type_info && lhs->type_info) { char *struct_name = NULL; diff --git a/src/parser/parser_type.c b/src/parser/parser_type.c index 04a7de9..941c763 100644 --- a/src/parser/parser_type.c +++ b/src/parser/parser_type.c @@ -79,6 +79,39 @@ Type *parse_type_base(ParserContext *ctx, Lexer *l) { resolved_suffix = "uint64_t"; } + // Lowercase aliases + else if (strcmp(suffix, "i8") == 0) + { + resolved_suffix = "int8_t"; + } + else if (strcmp(suffix, "u8") == 0) + { + resolved_suffix = "uint8_t"; + } + else if (strcmp(suffix, "i16") == 0) + { + resolved_suffix = "int16_t"; + } + else if (strcmp(suffix, "u16") == 0) + { + resolved_suffix = "uint16_t"; + } + else if (strcmp(suffix, "i32") == 0) + { + resolved_suffix = "int32_t"; + } + else if (strcmp(suffix, "u32") == 0) + { + resolved_suffix = "uint32_t"; + } + else if (strcmp(suffix, "i64") == 0) + { + resolved_suffix = "int64_t"; + } + else if (strcmp(suffix, "u64") == 0) + { + resolved_suffix = "uint64_t"; + } else if (strcmp(suffix, "usize") == 0) { resolved_suffix = "size_t"; @@ -123,6 +156,11 @@ Type *parse_type_base(ParserContext *ctx, Lexer *l) free(name); return type_new(TYPE_VOID); } + if (strcmp(name, "u0") == 0) + { + free(name); + return type_new(TYPE_VOID); + } if (strcmp(name, "I8") == 0) { free(name); @@ -168,11 +206,21 @@ Type *parse_type_base(ParserContext *ctx, Lexer *l) free(name); return type_new(TYPE_F32); } + if (strcmp(name, "f32") == 0) + { + free(name); + return type_new(TYPE_F32); + } if (strcmp(name, "F64") == 0) { free(name); return type_new(TYPE_F64); } + if (strcmp(name, "f64") == 0) + { + free(name); + return type_new(TYPE_F64); + } if (strcmp(name, "usize") == 0) { free(name); @@ -198,6 +246,56 @@ Type *parse_type_base(ParserContext *ctx, Lexer *l) free(name); return type_new(TYPE_U128); } + if (strcmp(name, "i8") == 0) + { + free(name); + return type_new(TYPE_I8); + } + if (strcmp(name, "u8") == 0) + { + free(name); + return type_new(TYPE_U8); + } + if (strcmp(name, "i16") == 0) + { + free(name); + return type_new(TYPE_I16); + } + if (strcmp(name, "u16") == 0) + { + free(name); + return type_new(TYPE_U16); + } + if (strcmp(name, "i32") == 0) + { + free(name); + return type_new(TYPE_I32); + } + if (strcmp(name, "u32") == 0) + { + free(name); + return type_new(TYPE_U32); + } + if (strcmp(name, "i64") == 0) + { + free(name); + return type_new(TYPE_I64); + } + if (strcmp(name, "u64") == 0) + { + free(name); + return type_new(TYPE_U64); + } + if (strcmp(name, "i128") == 0) + { + free(name); + return type_new(TYPE_I128); + } + if (strcmp(name, "u128") == 0) + { + free(name); + return type_new(TYPE_U128); + } if (strcmp(name, "rune") == 0) { free(name); @@ -300,7 +398,6 @@ Type *parse_type_base(ParserContext *ctx, Lexer *l) zpanic_at(t, "Expected > after generic"); } - // --- INSTANTIATION TRIGGER --- char *arg_str = type_to_string(arg); instantiate_generic(ctx, name, arg_str); diff --git a/src/parser/parser_utils.c b/src/parser/parser_utils.c index ef66104..7733ef7 100644 --- a/src/parser/parser_utils.c +++ b/src/parser/parser_utils.c @@ -1057,10 +1057,18 @@ Type *replace_type_formal(Type *t, const char *p, const char *c, const char *os, { return type_new(TYPE_F32); } + if (strcmp(c, "f32") == 0) + { + return type_new(TYPE_F32); + } if (strcmp(c, "F64") == 0) { return type_new(TYPE_F64); } + if (strcmp(c, "f64") == 0) + { + return type_new(TYPE_F64); + } if (strcmp(c, "usize") == 0) { @@ -1082,6 +1090,46 @@ Type *replace_type_formal(Type *t, const char *p, const char *c, const char *os, { return type_new(TYPE_U128); } + if (strcmp(c, "i8") == 0) + { + return type_new(TYPE_I8); + } + if (strcmp(c, "u8") == 0) + { + return type_new(TYPE_U8); + } + if (strcmp(c, "i16") == 0) + { + return type_new(TYPE_I16); + } + if (strcmp(c, "u16") == 0) + { + return type_new(TYPE_U16); + } + if (strcmp(c, "i32") == 0) + { + return type_new(TYPE_I32); + } + if (strcmp(c, "u32") == 0) + { + return type_new(TYPE_U32); + } + if (strcmp(c, "i64") == 0) + { + return type_new(TYPE_I64); + } + if (strcmp(c, "u64") == 0) + { + return type_new(TYPE_U64); + } + if (strcmp(c, "i128") == 0) + { + return type_new(TYPE_I128); + } + if (strcmp(c, "u128") == 0) + { + return type_new(TYPE_U128); + } if (strcmp(c, "rune") == 0) { -- cgit v1.2.3