From 298f03e167d4cf3ef5b5088f355c8d8e4ee21467 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 12 Jan 2024 17:51:59 +0000
Subject: Handle type level params when substituting in function type

---
 src/main/java/org/shedlang/compiler/types/TypeSubstitution.java | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
index cc7ddbc9..4b29895c 100644
--- a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
+++ b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
@@ -1,7 +1,6 @@
 package org.shedlang.compiler.types;
 
 import java.util.List;
-import java.util.Optional;
 import java.util.function.BiFunction;
 
 public class TypeSubstitution {
@@ -107,8 +106,7 @@ public class TypeSubstitution {
         TypeSubstitutionMap map
     ) {
         return new FunctionType(
-            // TODO: don't clear type level params
-            Optional.empty(),
+            functionType.typeLevelParams(),
             functionType.positionalParams().stream()
                 .map(param -> substituteType(param, map))
                 .toList(),
-- 
cgit v1.2.3