aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/java')
-rw-r--r--src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java6
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
);