shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 20:11:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix Foo! syntactic sugar.

Browse Source
This commit is contained in:
Christoffer Lerno
2021-07-17 20:59:29 +02:00
parent d578b249c2
commit 26d976d0bd
2 changed files with 23 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
src/compiler/sema_expr.c
View File

@@ -5002,22 +5002,21 @@ static inline bool sema_expr_analyse_typeof(Context *context, Expr *expr)
static inline bool sema_expr_analyse_failable(Context *context, Type *to, Expr *expr)
{
Expr *inner = expr->failable_expr;
// Syntactic sugar: Foo! => Foo({})!
if (inner->expr_kind == EXPR_TYPEINFO)
{
TypeInfo *type = inner->type_expr;
*inner = (Expr) { .expr_kind = EXPR_COMPOUND_LITERAL, .span = inner->span };
inner->expr_compound_literal.type_info = type;
Expr *initializer_list = expr_new(EXPR_INITIALIZER_LIST, inner->span);
initializer_list->initializer_expr.init_type = INITIALIZER_UNKNOWN;
inner->expr_compound_literal.initializer = initializer_list;
}
if (!sema_analyse_expr(context, NULL, inner)) return false;
expr->pure = inner->pure;
expr->constant = inner->constant;
if (inner->expr_kind == EXPR_TYPEINFO)
{
TypeInfo *inner_type_info = inner->type_expr;
if (inner_type_info->type->type_kind != TYPE_ERRTYPE)
{
SEMA_ERROR(inner, "This must be an error type.");
return false;
}
inner->expr_kind = EXPR_COMPOUND_LITERAL;
inner->expr_compound_literal.type_info = inner_type_info;
inner->expr_compound_literal.initializer = NULL;
expr_set_type(inner, inner_type_info->type);
}
if (inner->failable)
{
SEMA_ERROR(inner, "The inner expression is already a failable.");

11
test/test_suite/errors/error_throw.c3 Normal file
View File

@@ -0,0 +1,11 @@
module foo;
error Blurg
{
}
func void main()
{
int! i = Blurg!;
int! j = Blurg({})!;
}