diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-03 00:06:10 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-03 00:06:10 +0000 |
| commit | 2dbc90aacf38c68fe06209b998bb2c7b2ef9f560 (patch) | |
| tree | 869e4c1017687790f6e3316167973945050cfcb8 /src/main/java | |
| parent | 72ce4e94a08baf5d722582e2914bb2074ef7d1a7 (diff) | |
Fix type hint for break expressions
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 3 |
1 files changed, 2 insertions, 1 deletions
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 ); |