From 41b5979b3397b3bdc210e7baf768e6824ff752a5 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 2 Mar 2024 11:22:33 +0000 Subject: Include type-level params in inferred function type --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 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(), -- cgit v1.2.3