Type check tuple types

3 files changed, 73 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/ast/typed/TypedNodeMatchers.java b/src/test/java/org/shedlang/compiler/ast/typed/TypedNodeMatchers.java
index 95caa13e..37a583ba 100644
--- a/src/test/java/org/shedlang/compiler/ast/typed/TypedNodeMatchers.java
+++ b/src/test/java/org/shedlang/compiler/ast/typed/TypedNodeMatchers.java
@@ -1,5 +1,6 @@
 package org.shedlang.compiler.ast.typed;
 
+import org.shedlang.compiler.types.TupleType;
 import org.shedlang.compiler.types.Type;
 import org.shedlang.compiler.types.TypeLevelValue;
 import org.zwobble.precisely.Matcher;
@@ -241,6 +242,15 @@ public class TypedNodeMatchers {
         );
     }
 
+    public static Matcher<TypedTypeLevelExpressionNode<?>> isTypedTupleTypeNode(
+        Matcher<TupleType> value
+    ) {
+        return instanceOf(
+            TypedTupleTypeNode.class,
+            has("value", x -> x.value(), value)
+        );
+    }
+
     public static Matcher<TypedTypeLevelExpressionNode<?>> isTypedTypeLevelReferenceNode(
         String name,
         TypeLevelValue value
diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java b/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java
index 0915841c..a41ab8d7 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java
@@ -162,6 +162,12 @@ public class Untyped {
         return new UntypedTargetNode.Var(name, Sources.NULL);
     }
 
+    public static UntypedTupleTypeNode tupleType(
+        List<UntypedTypeLevelExpressionNode> elements
+    ) {
+        return new UntypedTupleTypeNode(elements, Sources.NULL);
+    }
+
     public static UntypedTypeLevelReferenceNode typeLevelReference(String name) {
         return new UntypedTypeLevelReferenceNode(name, Sources.NULL);
     }
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTupleTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTupleTypeTests.java
new file mode 100644
index 00000000..b6fcdf84
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTupleTypeTests.java
@@ -0,0 +1,57 @@
+package org.shedlang.compiler.typechecker;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.ast.untyped.Untyped;
+import org.shedlang.compiler.typechecker.errors.UnexpectedTypeError;
+import org.shedlang.compiler.typechecker.typesets.TypeSets;
+import org.shedlang.compiler.types.TupleType;
+import org.shedlang.compiler.types.Types;
+import org.shedlang.compiler.util.P;
+
+import java.util.List;
+import java.util.Map;
+
+import static org.junit.jupiter.api.Assertions.assertThrows;
+import static org.shedlang.compiler.ast.typed.TypedNodeMatchers.isTypedTupleTypeNode;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.equalTo;
+
+public class TypeCheckerTupleTypeTests {
+    @Test
+    public void tupleTypeHasElementsCorrespondingToNode() {
+        var untyped = Untyped.tupleType(List.of(
+            Untyped.typeLevelReference("Bool"),
+            Untyped.typeLevelReference("Int"),
+            Untyped.typeLevelReference("String")
+        ));
+        var context = TypeCheckerContext.EMPTY
+            .enterGlobal(P.map(
+                Map.entry("Bool", Types.metaType(Types.BOOL)),
+                Map.entry("Int", Types.metaType(Types.INT)),
+                Map.entry("String", Types.metaType(Types.STRING))
+            ));
+
+        var typed = TypeChecker.typeCheckTypeLevelExpression(TypeSets.META_TYPE, untyped, context);
+
+        assertThat(typed, isTypedTupleTypeNode(equalTo(Types.tuple(List.of(
+            Types.BOOL,
+            Types.INT,
+            Types.STRING
+        )))));
+    }
+
+    @Test
+    public void whenValueClassIsNotMetatypeThenErrorIsThrown() {
+        var untyped = Untyped.tupleType(List.of());
+        var context = TypeCheckerContext.EMPTY
+            .enterGlobal(P.map());
+
+        var error = assertThrows(
+            UnexpectedTypeError.class,
+            () -> TypeChecker.typeCheckTypeLevelExpression(TypeSets.EFFECT, untyped, context)
+        );
+
+        assertThat(error.expected(), equalTo(TypeSets.EFFECT));
+        assertThat(error.actual(), equalTo(Types.metaType(new TupleType(List.of()))));
+    }
+}