@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/generators/forGeneratorNestedReference.txt

@@ -0,0 +1,277 @@
+===
+generators/forGeneratorNestedReference.pkl
+===
+
+class Aviary {
+  birds: Listing<Bird>
+}
+
+class Bird {
+  age: Int
+}
+
+function Bird(_age: Int) = new Bird { age = _age }
+
+res1 {
+  for (i in IntSeq(1, 1)) {
+    for (j in 
+      new Aviary {
+        birds {
+          Bird(i)
+        }
+      }.birds
+    ) {
+      j
+    }
+  }
+}
+
+res2 {
+  for (i in IntSeq(1, 1)) {
+    ...new Aviary {
+      birds {
+        Bird(i)
+      }
+    }.birds
+  }
+}
+
+res3 {
+  for (key, _ in Map("hello-there", 5)) {
+    ...myself(new Listing {
+      new Listing {
+        key
+      }
+    })
+  }
+}
+
+res4 {
+  for (key, _ in Map("hello-there", 5)) {
+    ...myself2.apply(new Listing {
+      new Listing {
+        key
+      }
+    })
+  }
+}
+
+function myself(l: Listing<Listing<String>>) = l
+
+local myself2 = (l: Listing<Listing<String>>) -> l
+
+---
+
+(module
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))))
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (forGenerator
+        (typedIdentifier
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr)))
+        (objectBody
+          (forGenerator
+            (typedIdentifier
+              (identifier))
+            (qualifiedAccessExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (objectBody
+                      (objectElement
+                        (unqualifiedAccessExpr
+                          (identifier)
+                          (argumentList
+                            (unqualifiedAccessExpr
+                              (identifier)))))))))
+              (identifier))
+            (objectBody
+              (objectElement
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (forGenerator
+        (typedIdentifier
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr)))
+        (objectBody
+          (objectSpread
+            (qualifiedAccessExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (objectBody
+                      (objectElement
+                        (unqualifiedAccessExpr
+                          (identifier)
+                          (argumentList
+                            (unqualifiedAccessExpr
+                              (identifier)))))))))
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (forGenerator
+        (typedIdentifier
+          (identifier))
+        (blankIdentifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (intLiteralExpr)))
+        (objectBody
+          (objectSpread
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody
+                    (objectElement
+                      (newExpr
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (objectBody
+                          (objectElement
+                            (unqualifiedAccessExpr
+                              (identifier)))))))))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (forGenerator
+        (typedIdentifier
+          (identifier))
+        (blankIdentifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (intLiteralExpr)))
+        (objectBody
+          (objectSpread
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody
+                    (objectElement
+                      (newExpr
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (objectBody
+                          (objectElement
+                            (unqualifiedAccessExpr
+                              (identifier)))))))))))))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))))))))))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))))
+      (unqualifiedAccessExpr
+        (identifier)))))

package/test/corpus/snippetTests/generators/forGeneratorNestedReference2.txt

@@ -0,0 +1,98 @@
+===
+generators/forGeneratorNestedReference2.pkl
+===
+
+
+bar = new {}
+
+res1 {
+  for (i in List(1)) {
+    ...(bar) {
+      baz {
+        new { i }
+      }
+    }.baz
+  }
+}
+
+res2 {
+  for (i in List(1)) {
+    for (elem in (bar) {
+      baz {
+        new { i }
+      }
+    }.baz) {
+      elem
+    }
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (newExpr
+      (objectBody)))
+  (classProperty
+    (identifier)
+    (objectBody
+      (forGenerator
+        (typedIdentifier
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)))
+        (objectBody
+          (objectSpread
+            (qualifiedAccessExpr
+              (amendExpr
+                (parenthesizedExpr
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (objectBody
+                      (objectElement
+                        (newExpr
+                          (objectBody
+                            (objectElement
+                              (unqualifiedAccessExpr
+                                (identifier))))))))))
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (forGenerator
+        (typedIdentifier
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)))
+        (objectBody
+          (forGenerator
+            (typedIdentifier
+              (identifier))
+            (qualifiedAccessExpr
+              (amendExpr
+                (parenthesizedExpr
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (objectBody
+                      (objectElement
+                        (newExpr
+                          (objectBody
+                            (objectElement
+                              (unqualifiedAccessExpr
+                                (identifier))))))))))
+              (identifier))
+            (objectBody
+              (objectElement
+                (unqualifiedAccessExpr
+                  (identifier))))))))))

package/test/corpus/snippetTests/generators/forGeneratorVariableShadowing.txt

@@ -0,0 +1,177 @@
+===
+generators/forGeneratorVariableShadowing.pkl
+===
+
+examples {
+  local a = List("1", "2", "3", "4")
+  local b = List("a", "b", "c", "d")
+  
+  ["shadow key variable"] {
+    new {
+      for (key, outerValue in a) {
+        for (key, innerValue in b) {
+          List(outerValue, key, innerValue)
+        }
+      }
+    }
+  }
+  ["shadow value variable"] {
+    new {
+      for (outerKey, value in a) {
+        for (innerKey, value in b) {
+          List(outerKey, value, innerKey)
+        }
+      }
+    }
+  }
+  ["sibling for-generators can use same variable names"] {
+    new {
+      for (key, value in a) {
+        List(key,  value)
+      }
+      for (key, value in b) {
+        List(key, value)
+      }
+    }
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (newExpr
+              (objectBody
+                (forGenerator
+                  (typedIdentifier
+                    (identifier))
+                  (typedIdentifier
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (objectBody
+                    (forGenerator
+                      (typedIdentifier
+                        (identifier))
+                      (typedIdentifier
+                        (identifier))
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (objectBody
+                        (objectElement
+                          (unqualifiedAccessExpr
+                            (identifier)
+                            (argumentList
+                              (unqualifiedAccessExpr
+                                (identifier))
+                              (unqualifiedAccessExpr
+                                (identifier))
+                              (unqualifiedAccessExpr
+                                (identifier))))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (newExpr
+              (objectBody
+                (forGenerator
+                  (typedIdentifier
+                    (identifier))
+                  (typedIdentifier
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (objectBody
+                    (forGenerator
+                      (typedIdentifier
+                        (identifier))
+                      (typedIdentifier
+                        (identifier))
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (objectBody
+                        (objectElement
+                          (unqualifiedAccessExpr
+                            (identifier)
+                            (argumentList
+                              (unqualifiedAccessExpr
+                                (identifier))
+                              (unqualifiedAccessExpr
+                                (identifier))
+                              (unqualifiedAccessExpr
+                                (identifier))))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (newExpr
+              (objectBody
+                (forGenerator
+                  (typedIdentifier
+                    (identifier))
+                  (typedIdentifier
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (objectBody
+                    (objectElement
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList
+                          (unqualifiedAccessExpr
+                            (identifier))
+                          (unqualifiedAccessExpr
+                            (identifier)))))))
+                (forGenerator
+                  (typedIdentifier
+                    (identifier))
+                  (typedIdentifier
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (objectBody
+                    (objectElement
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList
+                          (unqualifiedAccessExpr
+                            (identifier))
+                          (unqualifiedAccessExpr
+                            (identifier)))))))))))))))

package/test/corpus/snippetTests/generators/generatorNoMembers.txt

@@ -0,0 +1,157 @@
+===
+generators/generatorNoMembers.pkl
+===
+
+res1 {
+  prop = trace("hello")
+}
+
+res2 = (res1) {
+  when (false) {
+    prop2 = 2
+  }
+}
+
+res3 = (res1) {
+  for (_ in List()) {
+    "hello"
+  }
+}
+
+res4 = (res1) {
+  ...List()
+}
+
+res5 = (res1) {
+  when (true) {
+  } else {
+    prop3 = 3
+  }
+}
+
+res6 = (Dynamic) {
+  when (true) {}
+}
+
+res7 = (Mapping) {
+  when (true) {}
+}
+
+class Person {}
+
+res8 = (Person) {
+  when (true) {}
+}
+
+res9 = (Listing) {
+  when (true) {}
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (traceExpr
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (falseLiteralExpr)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (blankIdentifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList))
+          (objectBody
+            (objectElement
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody)))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody)))))
+  (clazz
+    (identifier)
+    (classBody))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody)))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody))))))