@apple/tree-sitter-pkl 0.16.0 → 0.18.0

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

@@ -0,0 +1,655 @@
+===
+generators/spreadSyntaxMapping.pkl
+===
+
+import "pkl:test"
+
+local listing: Listing = new { 1; 2; 3 }
+local mapping: Mapping = new { ["a"] = 1; ["b"] = 2 }
+local dynamic: Dynamic = new {
+  1
+  2
+  3
+  ["foo"] = 0
+  ["bar"] = 1
+  foo = "foo"
+  bar = "bar"
+}
+local list: List<Int> = List(1, 2, 3)
+local map: Map<String, Int> = Map("a", 1, "b", 2)
+local intseq: IntSeq = IntSeq(0, 5).step(2)
+local set: Set<Int> = Set(10, 20, 30)
+
+class Foo {
+  names: Listing<String>
+}
+
+function makeFoos(names: List<String>) =
+  names.toMap((name) -> name, (name) -> new Foo {
+    names {
+      "original-\(name)"
+    }
+  }).toMapping()
+
+res1: Mapping = new {
+  ...mapping
+}
+
+res2: Mapping<String, Int> = new {
+  ...mapping
+}
+
+res3: Mapping = new {
+  ...mapping
+  ["c"] = 1
+  ["d"] = 2
+}
+
+res4 = test.catch(() -> new Mapping {
+  ...mapping
+  ...mapping
+})
+
+res5 = test.catch(() -> new Mapping {
+  ...mapping
+  ["a"] = 4
+})
+
+res6: Mapping = new {
+  ...map
+}
+
+class MyMappings {
+  mapping1: Mapping<Boolean, Boolean>
+}
+
+res7 = test.catch(() -> new MyMappings {
+  mapping1 {
+    ...mapping
+  }
+}.mapping1)
+
+res8 = test.catch(() -> new Mapping { ...listing })
+res9 = test.catch(() -> new Mapping { ...dynamic })
+res10 = test.catch(() -> new Mapping { ...list })
+res11 = test.catch(() -> new Mapping { ...set })
+res12 = test.catch(() -> new Mapping { ...intseq })
+
+res13: Mapping = new {
+  ...mapping
+  ["child"] = new Mapping {
+    ...mapping
+    ["child"] = new Mapping {
+      ...mapping
+    }
+  }
+}
+
+res14 = new Mapping {
+  ...mapping
+}
+
+res15 = new Mapping {
+  ...mapping
+  ["c"] = 1
+  ["d"] = 2
+}
+
+
+res16 = test.catch(() -> new Mapping {
+  ...mapping
+  ["a"] = 4
+})
+
+local foos = (makeFoos(List("bar"))) {
+  ["bar"] {
+    names {
+      "new one"
+    }
+  }
+}
+
+res17 = new Mapping {
+  ...foos
+}
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectElement
+          (intLiteralExpr))
+        (objectElement
+          (intLiteralExpr))
+        (objectElement
+          (intLiteralExpr)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectElement
+          (intLiteralExpr))
+        (objectElement
+          (intLiteralExpr))
+        (objectElement
+          (intLiteralExpr))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr))
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr)
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))))))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))))))))
+    (qualifiedAccessExpr
+      (qualifiedAccessExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (identifier)
+        (argumentList
+          (functionLiteralExpr
+            (parameterList
+              (typedIdentifier
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))
+          (functionLiteralExpr
+            (parameterList
+              (typedIdentifier
+                (identifier)))
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (objectBody
+                    (objectElement
+                      (slStringLiteralExpr
+                        (slStringLiteralPart)
+                        (stringInterpolation
+                          (unqualifiedAccessExpr
+                            (identifier))))))))))))
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))
+    (newExpr
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (intLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (objectBody
+                    (objectSpread
+                      (unqualifiedAccessExpr
+                        (identifier)))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody
+                    (objectSpread
+                      (unqualifiedAccessExpr
+                        (identifier))))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (objectSpread
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (intLiteralExpr))))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))
+      (objectBody
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (objectBody
+                (objectElement
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectSpread
+          (unqualifiedAccessExpr
+            (identifier)))))))

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

@@ -0,0 +1,32 @@
+===
+generators/spreadSyntaxNoSpace.pkl
+===
+
+foo {
+  1 2 3...IntSeq(4, 10)...IntSeq(11, 20)
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectSpread
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr))))
+      (objectSpread
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr)))))))

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

@@ -0,0 +1,37 @@
+===
+generators/spreadSyntaxNullable.pkl
+===
+
+a = null
+b { ...?a }
+
+c { 1; 2; 3 }
+d { ...?c }
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (nullLiteralExpr))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectSpread
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectSpread
+        (unqualifiedAccessExpr
+          (identifier))))))