From 89ff33ab9701c2d3e274fdb9772cab5b248c86e7 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 2 Mar 2024 14:51:42 +0000 Subject: Test subsitution of user-defined effect --- .../org/shedlang/compiler/types/TypeSubstitutionTests.java | 12 ++++++++++++ 1 file changed, 12 insertions(+) (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 c53038ca..8bca5f3f 100644 --- a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java +++ b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java @@ -63,6 +63,18 @@ public class TypeSubstitutionTests { assertThat(result, equalTo(Effects.NONE)); } + @Test + public void substitutingUserDefinedEffectDoesNothing() { + var userDefinedEffect = Effects.userDefined(NAMESPACE_NAME, "Effect"); + var typeSubstitutionMap = TypeSubstitutionMap.of( + Map.entry(EffectParam.forStructType(STRUCT_TYPE, "E"), Effects.IO) + ); + + var result = TypeSubstitution.substituteEffect(userDefinedEffect, typeSubstitutionMap); + + assertThat(result, equalTo(userDefinedEffect)); + } + @Test public void substitutingBoolDoesNothing() { var typeSubstitutionMap = TypeSubstitutionMap.of( -- cgit v1.2.3