diff options
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java | 4 |
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() ); |
