From c27fbfa7cbe2c49e4f675d74f42638672a15125f Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 2 Mar 2024 14:47:19 +0000 Subject: Add simple effect subsitution --- .../java/org/shedlang/compiler/types/TypeSubstitutionTests.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/test/java') 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 ); -- cgit v1.2.3