From fa6b2a24aad096824790501550623a7c3c2418c1 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 30 Sep 2023 10:28:05 +0100
Subject: Parse sum types

---
 .../compiler/ast/untyped/UntypedNodeMatchers.java  | 11 ++++++
 .../parser/ParserSumTypeDefinitionTests.java       | 39 ++++++++++++++++++++++
 2 files changed, 50 insertions(+)
 create mode 100644 src/test/java/org/shedlang/compiler/parser/ParserSumTypeDefinitionTests.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 d08e784d..ddb7db96 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
@@ -209,6 +209,17 @@ public class UntypedNodeMatchers {
         return isUntypedBinaryOperationNode(UntypedBinaryOperator.SUB, left, right);
     }
 
+    public static Matcher<UntypedNamespaceStatementNode> isUntypedSumTypeDefinitionNode(
+        String name,
+        Matcher<Iterable<? extends UntypedTypeLevelExpressionNode>> variants
+    ) {
+        return instanceOf(
+            UntypedSumTypeDefinitionNode.class,
+            has("name", x -> x.name(), equalTo(name)),
+            has("variants", x -> x.variants(), variants)
+        );
+    }
+
     public static Matcher<UntypedTargetNode> isUntypedTargetIgnoreNode() {
         return instanceOf(UntypedTargetNode.Ignore.class);
     }
diff --git a/src/test/java/org/shedlang/compiler/parser/ParserSumTypeDefinitionTests.java b/src/test/java/org/shedlang/compiler/parser/ParserSumTypeDefinitionTests.java
new file mode 100644
index 00000000..65a8ef6f
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/parser/ParserSumTypeDefinitionTests.java
@@ -0,0 +1,39 @@
+package org.shedlang.compiler.parser;
+
+import org.junit.jupiter.api.Test;
+
+import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.*;
+import static org.shedlang.compiler.parser.ParserTesting.parseString;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class ParserSumTypeDefinitionTests {
+    @Test
+    public void canParseSumTypeWithSingleVariant() {
+        var source = "sumtype Option = Some;";
+
+        var node = parseString(source, Parser::parseNamespaceStatement);
+
+        assertThat(
+            node,
+            isUntypedSumTypeDefinitionNode("Option", isSequence(
+                isUntypedTypeLevelReferenceNode("Some")
+            ))
+        );
+    }
+
+    @Test
+    public void canParseSumTypeWithMultipleVariant() {
+        var source = "sumtype Option = Some | None;";
+
+        var node = parseString(source, Parser::parseNamespaceStatement);
+
+        assertThat(
+            node,
+            isUntypedSumTypeDefinitionNode("Option", isSequence(
+                isUntypedTypeLevelReferenceNode("Some"),
+                isUntypedTypeLevelReferenceNode("None")
+            ))
+        );
+    }
+}
-- 
cgit v1.2.3