From 4530282258bd61928646a7af792f30c0b46b016b Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 17 Sep 2023 16:44:23 +0100
Subject: Parse tuple types

---
 .../compiler/ast/untyped/UntypedNodeMatchers.java  |  9 ++++++++
 .../compiler/parser/ParserTupleTypeTests.java      | 24 ++++++++++++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 src/test/java/org/shedlang/compiler/parser/ParserTupleTypeTests.java

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
index e65bcb5c..37d432e8 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
@@ -229,6 +229,15 @@ public class UntypedNodeMatchers {
         );
     }
 
+    public static Matcher<UntypedTypeLevelExpressionNode> isUntypedTupleTypeNode(
+        Matcher<Iterable<? extends UntypedTypeLevelExpressionNode>> elements
+    ) {
+        return instanceOf(
+            UntypedTupleTypeNode.class,
+            has("elements", x -> x.elements(), elements)
+        );
+    }
+
     public static Matcher<UntypedTypeLevelExpressionNode> isUntypedTypeLevelReferenceNode(String name) {
         return instanceOf(
             UntypedTypeLevelReferenceNode.class,
diff --git a/src/test/java/org/shedlang/compiler/parser/ParserTupleTypeTests.java b/src/test/java/org/shedlang/compiler/parser/ParserTupleTypeTests.java
new file mode 100644
index 00000000..cae49b5a
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/parser/ParserTupleTypeTests.java
@@ -0,0 +1,24 @@
+package org.shedlang.compiler.parser;
+
+import org.junit.jupiter.api.Test;
+
+import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.isUntypedTupleTypeNode;
+import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.isUntypedTypeLevelReferenceNode;
+import static org.shedlang.compiler.parser.ParserTesting.parseString;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class ParserTupleTypeTests {
+    @Test
+    public void canParseTupleTypes() {
+        var source = "#(A, B, C)";
+
+        var node = parseString(source, Parser::parseTopLevelTypeLevelExpression);
+
+        assertThat(node, isUntypedTupleTypeNode(isSequence(
+            isUntypedTypeLevelReferenceNode("A"),
+            isUntypedTypeLevelReferenceNode("B"),
+            isUntypedTypeLevelReferenceNode("C")
+        )));
+    }
+}
-- 
cgit v1.2.3