Parse absent type-level args

1 files changed, 16 insertions, 0 deletions

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())
+        );
+    }
 }