From 32420dc979cfeaa905f78b84f43b58af09ea3984 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Mon, 25 Dec 2023 11:42:18 +0000
Subject: Add type substitution for tuples

---
 src/main/java/org/shedlang/compiler/types/TypeSubstitution.java | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
index bd679292..e08b859e 100644
--- a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
+++ b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
@@ -33,9 +33,11 @@ public class TypeSubstitution {
 
             case TopType topType -> type;
 
-            case TupleType tupleType -> {
-                throw new UnsupportedOperationException("TODO");
-            }
+            case TupleType tupleType -> new TupleType(
+                tupleType.elements().stream()
+                    .map(element -> substitute(element, map))
+                    .toList()
+            );
 
             case TypeLevelValueType typeLevelValueType -> {
                 throw new UnsupportedOperationException("TODO");
-- 
cgit v1.2.3