Add simple effect subsitution

1 files changed, 3 insertions, 3 deletions

diff --git a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java
index 6eb7105e..2e2bd08e 100644
--- a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java
+++ b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java
@@ -124,14 +124,14 @@ public class TypeSubstitutionTests {
     }
 
     @Test
-    public void substitutingFunctionPreservesEffect() {
+    public void substitutingFunctionSubstitutesEffect() {
         var typeSubstitutionMap = TypeSubstitutionMap.of(
-            Map.entry(TypeParam.forStructType(STRUCT_TYPE, "T"), Types.INT)
+            Map.entry(EffectParam.forFunction(NAMESPACE_NAME, "f", "T"), Effects.IO)
         );
 
         var result = TypeSubstitution.substituteType(
             FunctionType.builder()
-                .withEffect(Effects.IO)
+                .withEffect(EffectParam.forFunction(NAMESPACE_NAME, "f", "T"))
                 .build(),
             typeSubstitutionMap
         );