diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-04-28 23:36:53 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-04-28 23:36:53 +0100 |
| commit | fa2bf4cc62b9bda55b01be51a593edc8dbfb26cc (patch) | |
| tree | bf36805094789ed2bec2b8c8628272786cff0620 /src/main/java/org | |
| parent | 4b64acb0313807b766a60a402843218957479ed5 (diff) | |
Reorder methods
Diffstat (limited to 'src/main/java/org')
| -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 |
