From df6ec9c9606184b472fc3d7278e2a50fb32c1479 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 26 Dec 2023 11:25:10 +0000
Subject: Parse absent type-level args

---
 .../java/org/shedlang/compiler/ast/untyped/Untyped.java  |  1 +
 .../compiler/ast/untyped/UntypedCallNodeMatcher.java     |  8 ++++++++
 .../org/shedlang/compiler/parser/ParserCallTests.java    | 16 ++++++++++++++++
 3 files changed, 25 insertions(+)

(limited to 'src/test/java')

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 41c52802..17204dc3 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java
@@ -65,6 +65,7 @@ public class Untyped {
     ) {
         return new UntypedCallNode(
             receiver,
+            Optional.empty(),
             new UntypedArgsNode(positionalArgs, namedArgs, Sources.NULL),
             false,
             Sources.NULL
diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedCallNodeMatcher.java b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedCallNodeMatcher.java
index aeb020a3..3514b522 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedCallNodeMatcher.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedCallNodeMatcher.java
@@ -5,6 +5,8 @@ import org.pcollections.PVector;
 import org.shedlang.compiler.testing.MatcherBuilder;
 import org.zwobble.precisely.Matcher;
 
+import java.util.Optional;
+
 import static org.zwobble.precisely.Matchers.equalTo;
 import static org.zwobble.precisely.Matchers.has;
 
@@ -27,6 +29,12 @@ public class UntypedCallNodeMatcher extends MatcherBuilder<UntypedExpressionNode
         return new UntypedCallNodeMatcher(submatchers);
     }
 
+    public UntypedCallNodeMatcher withTypeLevelArgs(
+        Matcher<? super Optional<? extends Iterable<? extends UntypedTypeLevelExpressionNode>>> typeLevelArgs
+    ) {
+        return with(has("typeLevelArgs", x -> x.typeLevelArgs(), typeLevelArgs));
+    }
+
     public UntypedCallNodeMatcher withArgs(Matcher<UntypedArgsNode> args) {
         return with(has("args", x -> x.args(), args));
     }
diff --git a/src/test/java/org/shedlang/compiler/parser/ParserCallTests.java b/src/test/java/org/shedlang/compiler/parser/ParserCallTests.java
index ca217824..3b2bcc50 100644
--- a/src/test/java/org/shedlang/compiler/parser/ParserCallTests.java
+++ b/src/test/java/org/shedlang/compiler/parser/ParserCallTests.java
@@ -7,6 +7,7 @@ import static org.junit.jupiter.api.Assertions.assertThrows;
 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.isOptionalEmpty;
 import static org.zwobble.precisely.Matchers.isSequence;
 
 public class ParserCallTests {
@@ -201,4 +202,19 @@ public class ParserCallTests {
                 )
         );
     }
+
+    // == Type-level args ==
+
+    @Test
+    public void canParseCallWithNoTypeLevelArgs() {
+        var source = "f()";
+
+        var node = parseString(source, Parser::parseTopLevelExpression);
+
+        assertThat(
+            node,
+            isUntypedCallNode()
+                .withTypeLevelArgs(isOptionalEmpty())
+        );
+    }
 }
-- 
cgit v1.2.3