From 0bc1617dd09027309ebc32b4f5642784723f2cb1 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 7 Nov 2023 19:53:43 +0000 Subject: Add TODO --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 ++ 1 file changed, 2 insertions(+) (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 51bb441f..e805db51 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -928,6 +928,8 @@ public class TypeChecker { )); } + // TODO: if effect is not set, infer it from body, with an upper bound + // of the context's effect. var effect = functionSignatureToEffect(typedSignature); return new PartialFunctionSignature( -- cgit v1.2.3