From 13d7693f7d9c302f30f874109a446d9171e1f3a8 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 13 Jun 2026 21:12:20 +0100
Subject: Type check fields on sum definition

---
 .../java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/main/java')

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 00c4b8d..650cecd 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -174,12 +174,14 @@ public class TypeChecker {
             variantTypes.add(variantType.value());
         }
 
+        var typeCheckedFieldDefinitions = typeCheckFieldDefinitions(untyped.fields(), context);
+
         context.defineSumType(sumType, variantTypes);
 
         return new TypedSumDefinitionNode(
             sumType,
             typedVariants,
-            List.of(),
+            typeCheckedFieldDefinitions.typedFieldNodes,
             untyped.docComment(),
             untyped.source()
         );
-- 
cgit v1.2.3