Type check fields on sum definition

1 files changed, 3 insertions, 1 deletions

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()
         );