From 134d3ac4caff6d87c79b0892e57073594cb0064c Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 9 Oct 2026 14:43:11 +0200
Subject: Remove Pointer and nil support

---
 boot/materialization.cc | 26 --------------------------
 1 file changed, 26 deletions(-)

(limited to 'boot/materialization.cc')

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)
-- 
cgit v1.2.3