summaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-04-28 23:36:53 +0100
committerMichael Williamson <mike@zwobble.org>2026-04-28 23:36:53 +0100
commitfa2bf4cc62b9bda55b01be51a593edc8dbfb26cc (patch)
treebf36805094789ed2bec2b8c8628272786cff0620 /src/main
parent4b64acb0313807b766a60a402843218957479ed5 (diff)
Reorder methods
Diffstat (limited to 'src/main')
-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