aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-07-19 10:48:52 +0100
committerMichael Williamson <mike@zwobble.org>2023-07-19 10:48:52 +0100
commitb2aab81fd37cc37ca96ec17d6bf2a92e77f35819 (patch)
tree716f8d344f93ca48947114dec642a86c5b30fb3b /src/test/java
parent3a45a50653c99732ed444e955f92c81a3435b91e (diff)
Support fetching of variable declarations without environment builder
Diffstat (limited to 'src/test/java')
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java3
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java6
2 files changed, 6 insertions, 3 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java
index 86b38d5c..8a096311 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java
@@ -352,7 +352,8 @@ public class TypeCheckerFunctionDefinitionTests {
UntypedFunctionDefinitionNode untyped,
TypeCheckerContext context
) {
- var environment = TypeChecker.declareVariables(untyped, EnvironmentBuilder.EMPTY);
+ var declaredVariables = TypeChecker.declaredVariables(untyped, P.vector());
+ var environment = EnvironmentBuilder.EMPTY.addUndefined(declaredVariables);
context = context.enterNamespace(environment.build());
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java
index 6c23f08b..ee9284b2 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java
@@ -149,7 +149,8 @@ public class TypeCheckerValTests {
UntypedFunctionStatementNode untyped,
TypeCheckerContext context
) {
- var environment = TypeChecker.declareVariables(untyped, EnvironmentBuilder.EMPTY);
+ var declaredVariables = TypeChecker.declaredVariables(untyped, P.vector());
+ var environment = EnvironmentBuilder.EMPTY.addUndefined(declaredVariables);
context = context.enterNamespace(environment.build());
@@ -160,7 +161,8 @@ public class TypeCheckerValTests {
UntypedNamespaceStatementNode untyped,
TypeCheckerContext context
) {
- var environment = TypeChecker.declareVariables(untyped, EnvironmentBuilder.EMPTY);
+ var declaredVariables = TypeChecker.declaredVariables(untyped, P.vector());
+ var environment = EnvironmentBuilder.EMPTY.addUndefined(declaredVariables);
context = context.enterNamespace(environment.build());