diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-02 11:22:33 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-02 11:22:33 +0000 |
| commit | 41b5979b3397b3bdc210e7baf768e6824ff752a5 (patch) | |
| tree | 91c25dd0947e48240b0a9e8ad5f2f871694b6115 /src/main/java | |
| parent | a3887cd8bd6acedca45a1e76e48d1d0ed9b63942 (diff) | |
Include type-level params in inferred function type
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 |
1 files changed, 1 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 a2645a4b..69e326e9 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -893,7 +893,7 @@ public class TypeChecker { ); var type = new FunctionType( - Optional.empty(), + typedSignature.typeLevelParams(), positionalParams.stream() .map(param -> param.type()) .toList(), |