diff options
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java | 6 |
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 ); |
