From eebdb565de604bcfdbecf6f51c2c4b13fac228cc Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 12 Jan 2024 17:42:51 +0000
Subject: Add TODO

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

(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 385706ca..b0632b6c 100644
--- a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
+++ b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
@@ -104,6 +104,7 @@ public class TypeSubstitution {
         TypeSubstitutionMap map
     ) {
         return new FunctionType(
+            // TODO: don't clear type level params
             Optional.empty(),
             functionType.positionalParams().stream()
                 .map(param -> substituteType(param, map))
-- 
cgit v1.2.3