From 78e75def13c9a0890f6a3880a95184fedc7ee13d Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 4 Oct 2026 11:06:26 +0100
Subject: Support empty database schema definition

---
 .../hobgoblin/compiler/typechecker/TypeChecker.java   | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

(limited to 'src')

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index e1c6854..8178d8d 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -36,8 +36,11 @@ public class TypeChecker {
             var fields = new ArrayList<Field>();
             for (var untypedStatement : untypedNamespace.body()) {
                 var type = declareNamespaceStatement(untypedStatement, namespaceContext);
-                var field = new Field(untypedStatement.name(), type, untypedStatement.source());
-                fields.add(field);
+
+                if (type.isPresent()) {
+                    var field = new Field(untypedStatement.name(), type.get(), untypedStatement.source());
+                    fields.add(field);
+                }
             }
             context.defineNamespace(untypedNamespace.namespaceName(), fields);
         }
@@ -85,25 +88,25 @@ public class TypeChecker {
         return typedNamespaceNodes;
     }
 
-    static Type declareNamespaceStatement(
+    static Optional<Type> declareNamespaceStatement(
         UntypedNamespaceStatementNode untyped,
         TypeCheckerNamespaceContext context
     ) {
         return switch (untyped) {
             case UntypedDatabaseSchemaDefinitionNode _ ->
-                throw new UnsupportedOperationException("TODO");
+                Optional.empty();
 
             case UntypedEnumDefinitionNode untypedEnumDefinitionNode ->
-                declareEnumDefinitionNode(untyped, context);
+                Optional.of(declareEnumDefinitionNode(untyped, context));
 
             case UntypedNativeTypeDefinitionNode untypedNativeTypeDefinition ->
-                declareNativeTypeDefinition(untypedNativeTypeDefinition, context);
+                Optional.of(declareNativeTypeDefinition(untypedNativeTypeDefinition, context));
 
             case UntypedStructDefinitionNode untypedStructDefinition ->
-                declareStructDefinition(untypedStructDefinition, context);
+                Optional.of(declareStructDefinition(untypedStructDefinition, context));
 
             case UntypedSumDefinitionNode untypedSumDefinition ->
-                declareSumDefinition(untypedSumDefinition, context);
+                Optional.of(declareSumDefinition(untypedSumDefinition, context));
         };
     }
 
-- 
cgit v1.2.3