Syntactic sugar for anonymous enum within a bit set

This commit is contained in:
gingerBill
2018-09-11 12:10:32 +01:00
parent b468cf141b
commit f1e1814ff9
4 changed files with 47 additions and 16 deletions
+20 -2
View File
@@ -931,7 +931,7 @@ bool is_type_valid_bit_set_range(Type *t) {
return false;
}
void check_bit_set_type(CheckerContext *c, Type *type, Ast *node) {
void check_bit_set_type(CheckerContext *c, Type *type, Type *named_type, Ast *node) {
ast_node(bs, BitSetType, node);
GB_ASSERT(type->kind == Type_BitSet);
@@ -1045,6 +1045,24 @@ void check_bit_set_type(CheckerContext *c, Type *type, Ast *node) {
} else {
Type *elem = check_type_expr(c, bs->elem, nullptr);
#if 1
if (named_type != nullptr && named_type->kind == Type_Named &&
elem->kind == Type_Enum) {
// NOTE(bill): Anonymous enumeration
String prefix = named_type->Named.name;
String enum_name = concatenate_strings(heap_allocator(), prefix, str_lit(".enum"));
Token token = make_token_ident(enum_name);
Entity *e = alloc_entity_type_name(nullptr, token, nullptr, EntityState_Resolved);
Type *named = alloc_type_named(enum_name, elem, e);
e->type = named;
e->TypeName.is_type_alias = true;
elem = named;
}
#endif
type->BitSet.elem = elem;
if (!is_type_valid_bit_set_elem(elem)) {
error(bs->elem, "Expected an enum type for a bit_set");
@@ -2436,7 +2454,7 @@ bool check_type_internal(CheckerContext *ctx, Ast *e, Type **type, Type *named_t
case_ast_node(bs, BitSetType, e);
*type = alloc_type_bit_set();
set_base_type(named_type, *type);
check_bit_set_type(ctx, *type, e);
check_bit_set_type(ctx, *type, named_type, e);
return true;
case_end;