From 09dcc2a2c64eb2544d810bbc586241346130d258 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 9 Feb 2025 17:12:36 +0000 Subject: Parse type-level params for function type --- .../compiler/parser/ParserFunctionTypeTests.java | 32 ++++++++++++++++++++++ 1 file changed, 32 insertions(+) (limited to 'src/test/java/org/shedlang/compiler/parser') diff --git a/src/test/java/org/shedlang/compiler/parser/ParserFunctionTypeTests.java b/src/test/java/org/shedlang/compiler/parser/ParserFunctionTypeTests.java index 209220ad..319b0252 100644 --- a/src/test/java/org/shedlang/compiler/parser/ParserFunctionTypeTests.java +++ b/src/test/java/org/shedlang/compiler/parser/ParserFunctionTypeTests.java @@ -164,4 +164,36 @@ public class ParserFunctionTypeTests { .withEffect(isOptionalOf(isUntypedTypeLevelReferenceNode("Io"))) ); } + + @Test + public void canParseSingleTypeLevelParam() { + var source = "fn [A]() -> Unit"; + + var node = parseString(source, Parser::parseTopLevelTypeLevelExpression); + + assertThat( + node, + isUntypedFunctionTypeNode() + .withTypeLevelParams(isOptionalOf(isSequence( + isUntypedTypeParamNode("A") + ))) + ); + } + + @Test + public void canParseManyTypeLevelParams() { + var source = "fn [A, B, C]() -> Unit"; + + var node = parseString(source, Parser::parseTopLevelTypeLevelExpression); + + assertThat( + node, + isUntypedFunctionTypeNode() + .withTypeLevelParams(isOptionalOf(isSequence( + isUntypedTypeParamNode("A"), + isUntypedTypeParamNode("B"), + isUntypedTypeParamNode("C") + ))) + ); + } } -- cgit v1.2.3