@apple/tree-sitter-pkl 0.17.0 → 0.18.1

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

@@ -0,0 +1,380 @@
+===
+lambdas/amendLambdaThatReturnsAnotherLambda.pkl
+===
+
+example1 {
+  local f1 = () -> () -> () -> new Dynamic {}
+  local f2 = (f1) { name = "Pigeon" }
+  result = f2.apply().apply().apply()
+}
+
+example2 {
+  local default1 = new Dynamic { name = "Pigeon" }
+  local default2 = (name) -> (default1) { name2 = name }
+  local default3 = (name) -> (default2) { name3 = name }
+  local default4 = (name) -> (default3) { name4 = name }
+  result = default4.apply("Pigeon4").apply("Pigeon3").apply("Pigeon2")
+}
+
+example3 {
+  local f1 = () -> new Dynamic { f1Args = List() }
+  local f2 = (arg1) -> (f1) { f2Args = List(arg1) }
+  local f3 = (arg1, arg2) -> (f2) { f3Args = List(arg1, arg2) }
+  result1 = f3.apply("f3Arg1", "f3Arg2").apply("f2Arg1").apply()
+  result2 = f3.apply(42, 5.gb).apply(3.min).apply()
+  result3 = f3.apply(new Dynamic { x = 42 }, new Dynamic { y = 5.gb }).apply(new Dynamic { z = 3.min }).apply()
+}
+
+example4 {
+  local f1 = (arg1, arg2) -> new Dynamic { f1Args = List(arg1, arg2) }
+  local f2 = (arg1) -> (f1) { f2Args = List(arg1) }
+  local f3 = () -> (f2) { f3Args = List() }
+  result = f3.apply().apply("f2Arg1").apply("f1Arg1", "f1Arg2")
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList)
+          (functionLiteralExpr
+            (parameterList)
+            (functionLiteralExpr
+              (parameterList)
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (amendExpr
+          (parenthesizedExpr
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList))
+            (identifier)
+            (argumentList))
+          (identifier)
+          (argumentList)))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (newExpr
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier)))))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (unqualifiedAccessExpr
+                      (identifier)))))))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (identifier)
+          (argumentList)))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (qualifiedAccessExpr
+                  (intLiteralExpr)
+                  (identifier))))
+            (identifier)
+            (argumentList
+              (qualifiedAccessExpr
+                (intLiteralExpr)
+                (identifier))))
+          (identifier)
+          (argumentList)))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody
+                    (objectProperty
+                      (identifier)
+                      (intLiteralExpr))))
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody
+                    (objectProperty
+                      (identifier)
+                      (qualifiedAccessExpr
+                        (intLiteralExpr)
+                        (identifier)))))))
+            (identifier)
+            (argumentList
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (qualifiedAccessExpr
+                      (intLiteralExpr)
+                      (identifier)))))))
+          (identifier)
+          (argumentList)))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (unqualifiedAccessExpr
+                      (identifier)))))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier)))))))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList))
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart))))))))

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

@@ -0,0 +1,60 @@
+===
+lambdas/amendLambdaTooFewArgsError.pkl
+===
+
+hidden abc = (a, b, c) -> new Dynamic { one = a; two = b; three = c }
+hidden amendAbc = (abc) { amended = "amended" }
+res1 = amendAbc.apply(1, 2)
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier)))
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)))))

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

@@ -0,0 +1,62 @@
+===
+lambdas/amendLambdaTooManyArgsError.pkl
+===
+
+hidden abc = (a, b, c) -> new Dynamic { one = a; two = b; three = c }
+hidden amendAbc = (abc) { amended = "amended" }
+res1 = amendAbc.apply(1, 2, 3, 4)
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier)))
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr)))))

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

@@ -0,0 +1,62 @@
+===
+lambdas/equality.pkl
+===
+
+res1 = (() -> 1) == (() -> 1)
+res2 = (() -> 1) == (() -> 2)
+res3 = (() -> 1) == ((x) -> 1)
+
+local lambda = () -> 1
+
+res4 = lambda == lambda
+---
+
+(module
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (intLiteralExpr)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList)
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier)))))

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

@@ -0,0 +1,62 @@
+===
+lambdas/inequality.pkl
+===
+
+res1 = (() -> 1) != (() -> 1)
+res2 = (() -> 1) != (() -> 2)
+res3 = (() -> 1) != ((x) -> 1)
+
+local lambda = () -> 1
+
+res4 = lambda != lambda
+---
+
+(module
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList)
+          (intLiteralExpr)))
+      (parenthesizedExpr
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (intLiteralExpr)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList)
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier)))))

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

@@ -0,0 +1,85 @@
+===
+lambdas/lambda1.pkl
+===
+
+local constant = () -> "abc"
+
+res1 = constant.apply()
+
+local even = (x) -> x % 2 == 0
+
+res2 = even.apply(10)
+res3 = even.apply(11)
+
+local mult = (x, y) -> x * y
+
+res4 = mult.apply(2, 3)
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList)
+      (slStringLiteralExpr
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier)))
+      (equalityExpr
+        (multiplicativeExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (intLiteralExpr))
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier)))
+      (multiplicativeExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)))))