diff options
Diffstat (limited to 'boot/materialization.cc')
| -rw-r--r-- | boot/materialization.cc | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/boot/materialization.cc b/boot/materialization.cc index 9e9d3ae..c7296f9 100644 --- a/boot/materialization.cc +++ b/boot/materialization.cc @@ -37,12 +37,8 @@ namespace elna::boot return "Local symbols cannot be exported"; case local_extern: return "Local symbols cannot be extern"; - case field_export: - return "Record fields cannot be exported"; case variable_generic: return "Variables cannot have generic parameters"; - case field_generic: - return "Record fields cannot have generic parameters"; } __builtin_unreachable(); } @@ -95,28 +91,6 @@ namespace elna::boot } } - void materialization_visitor::visit(record_type_expression *expression) - { - for (const auto& [field_identifiers, field_type] : expression->fields) - { - field_type->accept(this); - - for (const auto& field_identifier : field_identifiers) - { - if (field_identifier.exported()) - { - add_error<materialization_error>(field_identifier.id().position(), - materialization_error::kind::field_export); - } - if (!field_identifier.parameters.empty()) - { - add_error<materialization_error>(field_identifier.id().position(), - materialization_error::kind::field_generic); - } - } - } - } - void materialization_visitor::visit(literal<integer_literal> *literal) { switch (literal->wants_signed) |