diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-07 19:54:47 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-07 19:54:47 +0000 |
| commit | c42698c0245d37f24cc00f8ced5c0ad6fc02a1b0 (patch) | |
| tree | e46b64437d683a469a1afe28654afa0e6561d5bc /src/main/java | |
| parent | 0bc1617dd09027309ebc32b4f5642784723f2cb1 (diff) | |
Add TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index e805db51..3bc3e088 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -1738,6 +1738,7 @@ public class TypeChecker { )); var partialSignature = inferFunctionPartialSignature(typedSignature, Optional.of(effectFieldType)) + // TODO: use explicit return type if present .withReturnTypeState(ReturnTypeState.effectHandler(effectFieldType.returnType())); if (typedSignature.effect().isEmpty()) { |