From c42698c0245d37f24cc00f8ced5c0ad6fc02a1b0 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 7 Nov 2023 19:54:47 +0000 Subject: Add TODO --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 1 + 1 file changed, 1 insertion(+) (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 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()) { -- cgit v1.2.3