@apple/tree-sitter-pkl 0.16.0 → 0.18.0

package/test/corpus/snippetTests/lambdas/lambda5.txt

@@ -0,0 +1,307 @@
+===
+lambdas/lambda5.pkl
+===
+
+res1 = (() -> 0).apply()
+res2 = ((a) -> a).apply(1)
+res3 = ((a, b) -> a + b).apply(1, 2)
+res4 = ((a, b, c) -> a + b + c).apply(1, 2, 3)
+res5 = ((a, b, c, d) -> a + b + c + d).apply(1, 2, 3, 4)
+res6 = ((a, b, c, d, e) -> a + b + c + d + e).apply(1, 2, 3, 4, 5)
+
+res7 = (() -> 0).applyToList(List())
+res8 = ((a) -> a).applyToList(List(1))
+res9 = ((a, b) -> a + b).applyToList(List(1, 2))
+res10 = ((a, b, c) -> a + b + c).applyToList(List(1, 2, 3))
+res11 = ((a, b, c, d) -> a + b + c + d).applyToList(List(1, 2, 3, 4))
+res12 = ((a, b, c, d, e) -> a + b + c + d + e).applyToList(List(1, 2, 3, 4, 5))
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier))))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (additiveExpr
+              (additiveExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (additiveExpr
+              (additiveExpr
+                (additiveExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier))))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr)
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (additiveExpr
+              (additiveExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr)
+            (intLiteralExpr)
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (additiveExpr
+            (additiveExpr
+              (additiveExpr
+                (additiveExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr)
+            (intLiteralExpr)
+            (intLiteralExpr)
+            (intLiteralExpr)))))))

package/test/corpus/snippetTests/lambdas/lambdaStackTrace1.txt

@@ -0,0 +1,35 @@
+===
+lambdas/lambdaStackTrace1.pkl
+===
+
+hidden f = (a, b) -> a + b
+
+res1 = f.apply("Pigeon", 42)
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier)))
+      (additiveExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr)))))

package/test/corpus/snippetTests/lambdas/lambdaStackTrace2.txt

@@ -0,0 +1,37 @@
+===
+lambdas/lambdaStackTrace2.pkl
+===
+
+hidden f1 = () -> (() -> (() -> throw("ouch")).apply()).apply()
+
+res1 = f1.apply()
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList)
+      (qualifiedAccessExpr
+        (parenthesizedExpr
+          (functionLiteralExpr
+            (parameterList)
+            (qualifiedAccessExpr
+              (parenthesizedExpr
+                (functionLiteralExpr
+                  (parameterList)
+                  (throwExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))
+              (identifier)
+              (argumentList))))
+        (identifier)
+        (argumentList))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList))))

package/test/corpus/snippetTests/lambdas/lambdaStackTrace3.txt

@@ -0,0 +1,33 @@
+===
+lambdas/lambdaStackTrace3.pkl
+===
+
+hidden fs = List(() -> 42, () -> throw("ouch"))
+
+res1 = fs[1].apply()
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr))
+        (functionLiteralExpr
+          (parameterList)
+          (throwExpr
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (subscriptExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (intLiteralExpr))
+      (identifier)
+      (argumentList))))

package/test/corpus/snippetTests/lambdas/pipeOperator.txt

@@ -0,0 +1,189 @@
+===
+lambdas/pipeOperator.pkl
+===
+
+import "pkl:test"
+
+local add1 = (x) -> x + 1
+local mul2 = (x) -> x * 2
+local higher1 = (x) -> (y) -> (y |> x) + 1
+
+res1 = 42 |> add1
+res2 = 42 |> add1 |> add1
+res3 = 42 |> add1 |> mul2
+
+res4 = -1.abs |> add1
+res5 = 1 + 2 + 3 |> add1
+res6 = 42 ?? 21 |> add1
+res7 = 21 |> add1 ?? 42
+
+res8 = 42.abs |> higher1.apply(add1)
+res9 = 42.abs |> (add1 |> higher1)
+
+class Person {}
+
+res10 = test.catch(() -> 42 |> 21)
+res11 = test.catch(() -> 42 |> new Person {})
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier)))
+      (additiveExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier)))
+      (multiplicativeExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier)))
+      (functionLiteralExpr
+        (parameterList
+          (typedIdentifier
+            (identifier)))
+        (additiveExpr
+          (parenthesizedExpr
+            (pipeExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (intLiteralExpr)
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (pipeExpr
+        (intLiteralExpr)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (pipeExpr
+        (intLiteralExpr)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (unaryMinusExpr
+        (qualifiedAccessExpr
+          (intLiteralExpr)
+          (identifier)))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (additiveExpr
+        (additiveExpr
+          (intLiteralExpr)
+          (intLiteralExpr))
+        (intLiteralExpr))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (nullCoalesceExpr
+      (intLiteralExpr)
+      (pipeExpr
+        (intLiteralExpr)
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (nullCoalesceExpr
+      (pipeExpr
+        (intLiteralExpr)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier))
+      (qualifiedAccessExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (identifier)
+        (argumentList
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (pipeExpr
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier))
+      (parenthesizedExpr
+        (pipeExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (clazz
+    (identifier)
+    (classBody))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (pipeExpr
+            (intLiteralExpr)
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (pipeExpr
+            (intLiteralExpr)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody))))))))

package/test/corpus/snippetTests/lambdas/tooManyLambdaParams.txt

@@ -0,0 +1,27 @@
+===
+lambdas/tooManyLambdaParams.pkl
+===
+
+f = (a1, a2, a3, a4, a5, a6) -> a1
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier)))
+      (unqualifiedAccessExpr
+        (identifier)))))