aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-10-29 18:23:36 +0000
committerMichael Williamson <mike@zwobble.org>2023-10-29 18:23:36 +0000
commit5ab307fa798626d7f852ebec65f87e2af7487c53 (patch)
tree731295fdb7980c979db0a1643e9031104adfd82f /src/test/java
parent7bc7dbd5f5d73c1c070ed69af2ab143d7a1c199e (diff)
Infer return type of function expressions properly
Diffstat (limited to 'src/test/java')
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionExpressionTests.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionExpressionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionExpressionTests.java
index 80627018..35d61efd 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionExpressionTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionExpressionTests.java
@@ -43,7 +43,7 @@ public class TypeCheckerFunctionExpressionTests {
public void returnTypeCanBeInferred() {
var untyped = UntypedFunctionExpressionNode.builder()
.withoutReturnType()
- .addStatement(Untyped.expressionStatement(Untyped.stringLiteral("")))
+ .addStatement(Untyped.functionReturn(Untyped.stringLiteral("")))
.build();
var context = TypeCheckerContext.EMPTY;
@@ -52,7 +52,7 @@ public class TypeCheckerFunctionExpressionTests {
assertThat(
typed.value(),
isTypedFunctionExpressionNode()
- .withType(new FunctionType(List.of(), List.of(), Effects.NONE, Types.UNIT))
+ .withType(new FunctionType(List.of(), List.of(), Effects.NONE, Types.STRING))
);
}
}