diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-09-30 17:24:37 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-09-30 17:24:37 +0100 |
| commit | 84b617ab54023c4a9a67687ead488976a4fb8056 (patch) | |
| tree | 3ac0d42a47a977f52ff87556182018640b34f252 /src/main/java | |
| parent | 0dbefb05318c3e1abf94f752b4c59b94859f322a (diff) | |
Handle dependencies for sum type definition
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 5 |
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() + ); } } } |
