From 2dbc90aacf38c68fe06209b998bb2c7b2ef9f560 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 3 Dec 2023 00:06:10 +0000 Subject: Fix type hint for break expressions --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/main/java') diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index ae91c3d0..e484f35c 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -296,7 +296,8 @@ public class TypeChecker { case ReturnTypeState.EffectHandler effectHandler -> { var typedExpressionResult = typeCheckExpressionOptional( untyped.expression(), - Optional.of(effectHandler.resumeType()), + // TODO: use hint from try + Optional.empty(), untyped.source(), context ); -- cgit v1.2.3