summaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
Diffstat (limited to 'src/main')
-rw-r--r--src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java4
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()
);