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