From 6613798d28510f1240eee12c120a1f6482351c74 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 2 Mar 2024 14:56:39 +0000 Subject: Introduce effect arg --- .../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 37341a7a..c85087fd 100644 --- a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java +++ b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java @@ -13,6 +13,18 @@ public class TypeSubstitutionTests { private static final SimpleStructType STRUCT_TYPE = Types.struct(NAMESPACE_NAME, "Struct"); private static final SimpleStructType STRUCT_TYPE_2 = Types.struct(NAMESPACE_NAME, "Struct2"); + @Test + public void substitutingEffectArgDoesNothing() { + var effectParam = EffectParam.forStructType(STRUCT_TYPE, "E"); + var typeSubstitutionMap = TypeSubstitutionMap.of( + Map.entry(effectParam, Effects.NONE) + ); + + var result = TypeSubstitution.substituteEffect(new EffectArg(effectParam), typeSubstitutionMap); + + assertThat(result, equalTo(new EffectArg(effectParam))); + } + @Test public void substitutingEffectParamDoesNothingIfEffectParamIsNotInSubstitutionMap() { var typeSubstitutionMap = TypeSubstitutionMap.of( -- cgit v1.2.3