aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-09-30 17:24:37 +0100
committerMichael Williamson <mike@zwobble.org>2023-09-30 17:24:37 +0100
commit84b617ab54023c4a9a67687ead488976a4fb8056 (patch)
tree3ac0d42a47a977f52ff87556182018640b34f252 /src/main/java
parent0dbefb05318c3e1abf94f752b4c59b94859f322a (diff)
Handle dependencies for sum type definition
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 539b9a9d..b7aafe1a 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -750,7 +750,10 @@ public class TypeChecker {
}
case UntypedSumTypeDefinitionNode untypedSumTypeDefinition -> {
- throw new UnsupportedOperationException("TODO");
+ dependencyChecker = dependencyChecker.addDeferredDependencies(
+ untypedSumTypeDefinition.name(),
+ Set.of()
+ );
}
}
}