diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java | 14 |
1 files changed, 7 insertions, 7 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 bb8c9d3..84cb6aa 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java @@ -70,13 +70,6 @@ public class TypeChecker { context.define(untyped.name(), new TypeLevelValueType(structType)); } - private static void declareSumDefinition( - UntypedSumDefinitionNode untyped, - TypeCheckerNamespaceContext context - ) { - throw new UnsupportedOperationException("TODO"); - } - private static TypedStructDefinitionNode defineStructDefinition( UntypedStructDefinitionNode untyped, TypeCheckerNamespaceContext context @@ -100,6 +93,13 @@ public class TypeChecker { ); } + private static void declareSumDefinition( + UntypedSumDefinitionNode untyped, + TypeCheckerNamespaceContext context + ) { + throw new UnsupportedOperationException("TODO"); + } + private static TypedNamespaceStatementNode defineSumDefinition( UntypedSumDefinitionNode untyped, TypeCheckerNamespaceContext context |
