diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-06-13 21:00:46 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-06-13 21:00:46 +0100 |
| commit | 893c677a894346a14f9b7ab7ca67f3c734cb6aac (patch) | |
| tree | e436a7652d5869f83baa26983dbe5f02d2352e2d /src/main/java | |
| parent | 39928746d5d65f74061aae83e0d1ace7b17a3bb3 (diff) | |
Add fields to typed sum definition node
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumDefinitionNode.java | 1 | ||||
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumDefinitionNode.java b/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumDefinitionNode.java index 4022bdd..374befe 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumDefinitionNode.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumDefinitionNode.java @@ -9,6 +9,7 @@ import java.util.List; public record TypedSumDefinitionNode( SumType type, List<TypedSumVariantDefinitionNode> variants, + List<TypedStructFieldDefinitionNode> fields, DocComment docComment, Source source ) implements TypedNamespaceStatementNode { 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 2579fbe..5dce0f5 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java @@ -6,6 +6,7 @@ import org.zwobble.hobgoblin.compiler.sources.Source; import org.zwobble.hobgoblin.compiler.types.*; import java.util.ArrayList; +import java.util.List; public class TypeChecker { @@ -163,6 +164,7 @@ public class TypeChecker { return new TypedSumDefinitionNode( sumType, typedVariants, + List.of(), untyped.docComment(), untyped.source() ); |
