Remove Pointer and nil support

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)