Use explicit resume type

1 files changed, 38 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
index 4469979e..f62780d4 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
@@ -352,6 +352,44 @@ public class TypeCheckerTryTests {
     }
 
     @Test
+    public void whenHandlerMethodTypeHasNarrowerReturnTypeThanEffectMethodThenNarrowerTypeIsUsedToTypeCheckBody() {
+        var handledEffect = Effects.userDefined(NAMESPACE_NAME, "HandledEffect");
+        var untyped = UntypedTryNode.builder()
+            .withHandledEffect(Untyped.typeLevelReference(handledEffect.name()))
+            .addHandlerMethod(
+                UntypedFunctionDefinitionNode.builder()
+                    .addStatement(Untyped.resume(Untyped.intLiteral(0)))
+                    .withReturnType(Untyped.typeLevelReference("String"))
+                    .withName("mark")
+                    .build()
+            )
+            .build();
+        var context = TypeCheckerContext.EMPTY
+            .addUserDefinedEffectInfo(
+                handledEffect,
+                UserDefinedEffectInfo.builder()
+                    .addField("mark", FunctionType.builder().withReturnType(Types.TOP).build())
+                    .build()
+            )
+            .enterFunction(
+                P.map(
+                    Map.entry("String", Variable.defined(Types.metaType(Types.STRING), VariableType.CONSTANT)),
+                    Map.entry(handledEffect.name(), Variable.defined(Types.effectType(handledEffect), VariableType.CONSTANT))
+                ),
+                Effects.NONE,
+                Optional.empty()
+            );
+
+        var error = assertThrows(
+            UnexpectedTypeError.class,
+            () -> typeCheckExpression(untyped, context)
+        );
+
+        assertThat(error.expected(), equalTo(TypeSets.type(Types.STRING)));
+        assertThat(error.actual(), equalTo(Types.INT));
+    }
+
+    @Test
     public void whenHandlerMethodTypeHasEffectThenEffectOfExpressionScopeIsIgnored() {
         var handledEffect = Effects.userDefined(NAMESPACE_NAME, "HandledEffect");
         var untyped = UntypedTryNode.builder()