diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-07 19:53:43 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-07 19:53:43 +0000 |
| commit | 0bc1617dd09027309ebc32b4f5642784723f2cb1 (patch) | |
| tree | e3d991031072e6762d060a3929b4237f5bc9854b /src/main/java | |
| parent | 7488757d0386b7770d321177e2c893ba1c060f26 (diff) | |
Add TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 |
1 files changed, 2 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 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( |