diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-01-12 21:26:42 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-01-12 21:26:42 +0000 |
| commit | 084c3bca4205f5cec57733da4faefad86f1a6b97 (patch) | |
| tree | bbb9a808f37bd4424bad08c767be2a8a27f7fbf8 /src/main/java | |
| parent | 6f554d8e265ad2664c97d9d8d6efef2f53e9eb5f (diff) | |
Always pass dependencies
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index 4486e457..75a7286d 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -1473,7 +1473,7 @@ public class TypeChecker { case UntypedEffectDefinitionNode untypedEffectDefinition -> { dependencyChecker = dependencyChecker.addDeferredDependencies( untypedEffectDefinition.name(), - Set.of() + dependencies ); } @@ -1491,14 +1491,14 @@ public class TypeChecker { case UntypedStructDefinitionNode untypedStruct -> { dependencyChecker = dependencyChecker.addDeferredDependencies( untypedStruct.name(), - Set.of() + dependencies ); } case UntypedSumTypeDefinitionNode untypedSumTypeDefinition -> { dependencyChecker = dependencyChecker.addDeferredDependencies( untypedSumTypeDefinition.name(), - Set.of() + dependencies ); } } |
