@apple/tree-sitter-pkl 0.17.0 → 0.18.1

package/test/corpus/snippetTests/basic/underscore.txt

@@ -0,0 +1,419 @@
+===
+basic/underscore.pkl
+===
+
+local lambda = (_, _, _) -> 3
+
+l1 = lambda.apply(1, 2, "")
+
+function fun(_, x: Int, _) = x + 10
+
+f1 = fun("foo", 1, "foo")
+
+foo = new Dynamic {
+  for (_, _ in Map("a", 1, "b", 2)) {
+    0
+  }
+}
+
+foo2 = new Dynamic {
+  for (_ in Map("a", 1, "b", 2)) {
+    0
+  }
+}
+
+bar = new Dynamic {
+  for (_, v in Map("a", 1, "b", 2)) {
+    for (k, _ in Map("a", 1, "b", 2)) {
+      ["\(k)\(v)"] = v
+    }
+  }
+}
+
+baz = new Dynamic {
+  for (k1, _ in Map("a", 1, "b", 2)) {
+    for (k2, _ in Map("a", 1, "b", 2)) {
+      ["\(k1)\(k2)"] = k1
+    }
+  }
+}
+
+qux = new Dynamic {
+  for (_, v1 in Map("a", 1, "b", 2)) {
+    for (_, v2 in Map("a", 1, "b", 2)) {
+      ["\(v1)\(v2)"] = v1 + v2
+    }
+  }
+}
+
+class Bird {
+  name: String
+  age: Int
+}
+
+class B {
+  hidden mkBird: (String, Int) -> Bird = (_name, _age) -> new Bird {
+    name = _name
+    age = _age
+  }
+  bird = mkBird.apply("Robin", 2)
+}
+
+bird1 = new B {
+  mkBird { _, _age ->
+    name = "Swallow"
+    age = _age
+  }
+}
+
+bird2 = new B {
+  mkBird { _name, _ ->
+    name = _name
+    age = 3
+  }
+}
+
+var = let (_ = "foo") 0
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (functionLiteralExpr
+      (parameterList
+        (blankIdentifier)
+        (blankIdentifier)
+        (blankIdentifier))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (slStringLiteralExpr))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (blankIdentifier)
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))
+        (blankIdentifier)))
+    (additiveExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (blankIdentifier)
+          (blankIdentifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)))
+          (objectBody
+            (objectElement
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (blankIdentifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)))
+          (objectBody
+            (objectElement
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (blankIdentifier)
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)))
+          (objectBody
+            (forGenerator
+              (typedIdentifier
+                (identifier))
+              (blankIdentifier)
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))
+              (objectBody
+                (objectEntry
+                  (slStringLiteralExpr
+                    (stringInterpolation
+                      (unqualifiedAccessExpr
+                        (identifier)))
+                    (stringInterpolation
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (unqualifiedAccessExpr
+                    (identifier))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (typedIdentifier
+            (identifier))
+          (blankIdentifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)))
+          (objectBody
+            (forGenerator
+              (typedIdentifier
+                (identifier))
+              (blankIdentifier)
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))
+              (objectBody
+                (objectEntry
+                  (slStringLiteralExpr
+                    (stringInterpolation
+                      (unqualifiedAccessExpr
+                        (identifier)))
+                    (stringInterpolation
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (unqualifiedAccessExpr
+                    (identifier))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (blankIdentifier)
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)))
+          (objectBody
+            (forGenerator
+              (blankIdentifier)
+              (typedIdentifier
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))
+              (objectBody
+                (objectEntry
+                  (slStringLiteralExpr
+                    (stringInterpolation
+                      (unqualifiedAccessExpr
+                        (identifier)))
+                    (stringInterpolation
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (additiveExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (unqualifiedAccessExpr
+                      (identifier)))))))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (functionLiteralType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier)))
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))))))
+      (classProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (objectBody
+            (objectBodyParameters
+
+              (blankIdentifier)
+              (typedIdentifier
+                (identifier)))
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))
+            (objectProperty
+              (identifier)
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (objectBody
+            (objectBodyParameters
+
+              (typedIdentifier
+                (identifier))
+              (blankIdentifier))
+            (objectProperty
+              (identifier)
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (letExpr
+      (blankIdentifier)
+      (slStringLiteralExpr
+        (slStringLiteralPart))
+      (intLiteralExpr))))

package/test/corpus/snippetTests/classes/class1.txt

@@ -0,0 +1,54 @@
+===
+classes/class1.pkl
+===
+
+class Person extends Typed {
+  name = "X"
+  age = 40
+}
+
+pigeon = new Person {
+  name = "Pigeon Who"
+}
+
+pigeonName = pigeon.name
+pigeonAge = pigeon.age
+
+---
+
+(module
+  (clazz
+    (identifier)      (classExtendsClause
+      (qualifiedIdentifier
+        (identifier)))
+    (classBody
+      (classProperty
+        (identifier)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (classProperty
+        (identifier)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier))))

package/test/corpus/snippetTests/classes/class2.txt

@@ -0,0 +1,123 @@
+===
+classes/class2.pkl
+===
+
+class Person {
+  name: String = "X"
+  age: Int = 40
+  friends: List<Person>
+  address: Address
+}
+
+class Address {
+  street: String = "Howdy St"
+}
+
+pigeon = new Person {
+  name = "Pigeon Who"
+  age = 30
+  friends = List(
+    new Person {
+      name = "Emma"
+    },
+    new Person {
+      name = "Tony"
+    }
+  )
+  address {
+    street = "Pigeon St."
+  }
+}
+
+---
+
+(module
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (intLiteralExpr))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (intLiteralExpr))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))))))))
+        (objectProperty
+          (identifier)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))))))

package/test/corpus/snippetTests/classes/class2a.txt

@@ -0,0 +1,110 @@
+===
+classes/class2a.pkl
+===
+
+class Person {
+  name: String = "X"
+  age: Int = 40
+  friends: Set
+  address: Address
+}
+
+class Address {
+  street: String = "Howdy St"
+}
+
+pigeon = new Person {
+  name = "Pigeon Who"
+  age = 30
+  friends = super.friends + List(
+    new Person {
+      name = "Emma"
+    }
+  )
+  address {
+    street = "Pigeon St."
+  }
+}
+
+---
+
+(module
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (intLiteralExpr))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (intLiteralExpr))
+        (objectProperty
+          (identifier)
+          (additiveExpr
+            (superAccessExpr
+              (identifier))
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody
+                    (objectProperty
+                      (identifier)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart)))))))))
+        (objectProperty
+          (identifier)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))))))