From 32420dc979cfeaa905f78b84f43b58af09ea3984 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Mon, 25 Dec 2023 11:42:18 +0000 Subject: Add type substitution for tuples --- .../shedlang/compiler/types/TypeSubstitutionTests.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/test/java/org') diff --git a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java index 662eebcc..b7eaa0aa 100644 --- a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java +++ b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java @@ -2,6 +2,7 @@ package org.shedlang.compiler.types; import org.junit.jupiter.api.Test; +import java.util.List; import java.util.Map; import static org.zwobble.precisely.AssertThat.assertThat; @@ -81,6 +82,20 @@ public class TypeSubstitutionTests { assertThat(result, equalTo(Types.TOP)); } + @Test + public void substitutingTupleSubstitutesElements() { + var typeSubstitutionMap = TypeSubstitutionMap.of( + Map.entry(TypeParam.forStructType(STRUCT_TYPE, "T"), Types.INT) + ); + + var result = TypeSubstitution.substitute( + Types.tuple(List.of(TypeParam.forStructType(STRUCT_TYPE, "T"))), + typeSubstitutionMap + ); + + assertThat(result, equalTo(Types.tuple(List.of(Types.INT)))); + } + @Test public void substitutingTypeParamDoesNothingIfTypeParamIsNotInSubstitutionMap() { var typeSubstitutionMap = TypeSubstitutionMap.of( -- cgit v1.2.3