@apple/tree-sitter-pkl 0.19.0 → 0.20.0

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

@@ -1,278 +0,0 @@
-===
-lambdas/typedLambdas.pkl
-===
-
-import "pkl:test"
-
-res1 = ((x: Int) -> x + 1).apply(42)
-res2 = test.catch(() -> ((x: Int) -> x + 1).apply("wrong type"))
-
-res3 = ((x: Int(isPositive)) -> x + 1).apply(42)
-res4 = test.catch(() -> ((x: Int(isPositive)) -> x + 1).apply(-1))
-
-foo {
-  n = 3
-  bar {
-    res5 = ((str: String(length > n)) -> str).apply("abcde")
-    res6 = test.catch(() -> ((str: String(length > n)) -> str).apply("abc"))
-  }
-}
-
-foo2 = (foo) {
-  n = 4
-}
-
-hidden isNotEmpty = (coll: Collection) -> !coll.isEmpty
-
-res7 = ((x: List<String>(isNotEmpty), y: Set<String>(isNotEmpty)) -> x.toSet() == y).apply(List("a", "b"), Set("b", "a"))
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (parenthesizedExpr
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))
-          (additiveExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (intLiteralExpr))))
-      (identifier)
-      (argumentList
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (parenthesizedExpr
-              (functionLiteralExpr
-                (parameterList
-                  (typedIdentifier
-                    (identifier)
-                    (typeAnnotation
-                      (declaredType
-                        (qualifiedIdentifier
-                          (identifier))))))
-                (additiveExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (intLiteralExpr))))
-            (identifier)
-            (argumentList
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (parenthesizedExpr
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (constrainedType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (unqualifiedAccessExpr
-                    (identifier))))))
-          (additiveExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (intLiteralExpr))))
-      (identifier)
-      (argumentList
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (parenthesizedExpr
-              (functionLiteralExpr
-                (parameterList
-                  (typedIdentifier
-                    (identifier)
-                    (typeAnnotation
-                      (constrainedType
-                        (declaredType
-                          (qualifiedIdentifier
-                            (identifier)))
-                        (unqualifiedAccessExpr
-                          (identifier))))))
-                (additiveExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (intLiteralExpr))))
-            (identifier)
-            (argumentList
-              (unaryMinusExpr
-                (intLiteralExpr))))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))
-      (objectProperty
-        (identifier)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (qualifiedAccessExpr
-              (parenthesizedExpr
-                (functionLiteralExpr
-                  (parameterList
-                    (typedIdentifier
-                      (identifier)
-                      (typeAnnotation
-                        (constrainedType
-                          (declaredType
-                            (qualifiedIdentifier
-                              (identifier)))
-                          (comparisonExpr
-                            (unqualifiedAccessExpr
-                              (identifier))
-                            (unqualifiedAccessExpr
-                              (identifier)))))))
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)
-              (argumentList
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))
-          (objectProperty
-            (identifier)
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList
-                (functionLiteralExpr
-                  (parameterList)
-                  (qualifiedAccessExpr
-                    (parenthesizedExpr
-                      (functionLiteralExpr
-                        (parameterList
-                          (typedIdentifier
-                            (identifier)
-                            (typeAnnotation
-                              (constrainedType
-                                (declaredType
-                                  (qualifiedIdentifier
-                                    (identifier)))
-                                (comparisonExpr
-                                  (unqualifiedAccessExpr
-                                    (identifier))
-                                  (unqualifiedAccessExpr
-                                    (identifier)))))))
-                        (unqualifiedAccessExpr
-                          (identifier))))
-                    (identifier)
-                    (argumentList
-                      (slStringLiteralExpr
-                        (slStringLiteralPart))))))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (logicalNotExpr
-        (qualifiedAccessExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (parenthesizedExpr
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (constrainedType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))
-                    (typeArgumentList
-                      (declaredType
-                        (qualifiedIdentifier
-                          (identifier)))))
-                  (unqualifiedAccessExpr
-                    (identifier)))))
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (constrainedType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))
-                    (typeArgumentList
-                      (declaredType
-                        (qualifiedIdentifier
-                          (identifier)))))
-                  (unqualifiedAccessExpr
-                    (identifier))))))
-          (equalityExpr
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList))
-            (unqualifiedAccessExpr
-              (identifier)))))
-      (identifier)
-      (argumentList
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart))
-            (slStringLiteralExpr
-              (slStringLiteralPart))))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart))
-            (slStringLiteralExpr
-              (slStringLiteralPart))))))))

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

@@ -1,37 +0,0 @@
-===
-lambdas/wrongArgumentListLength.pkl
-===
-
-f = (a1, a2, a3) -> a1
-res = f.applyToList(List(1, 2, 3, 4, 5, 6))
----
-
-(module
-  (classProperty
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier))
-        (typedIdentifier
-          (identifier))
-        (typedIdentifier
-          (identifier)))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (intLiteralExpr)
-            (intLiteralExpr)
-            (intLiteralExpr)
-            (intLiteralExpr)
-            (intLiteralExpr)
-            (intLiteralExpr)))))))

package/test/corpus/snippetTests/listings/cacheStealing.txt

@@ -1,56 +0,0 @@
-===
-listings/cacheStealing.pkl
-===
-
-foo1: Listing<String> = new { "hello" }
-foo2: Listing<String|Int> = foo1
-
-res1 = foo1.isDistinct
-res2 = foo2.isDistinct
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))))))
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier))))

package/test/corpus/snippetTests/listings/cacheStealingTypeCheck.txt

@@ -1,27 +0,0 @@
-===
-listings/cacheStealingTypeCheck.pkl
-===
-
-amends "../../input-helper/listings/cacheStealingTypeCheck.pkl"
-
-foo {
-  "abcdx"
-  "ax"
-}
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectElement
-        (slStringLiteralExpr
-          (slStringLiteralPart)))
-      (objectElement
-        (slStringLiteralExpr
-          (slStringLiteralPart))))))

package/test/corpus/snippetTests/listings/default.txt

@@ -1,133 +0,0 @@
-===
-listings/default.pkl
-===
-
-class Person {
-  name: String
-  age: Int = 42
-}
-
-res1: Listing<Person> = new {
-  new {
-    name = "Pigeon"
-  }
-}
-
-res2 = (res1) {
-  default {
-    age = 21
-  }
-  new {
-    name = "Parrot"
-  }
-}
-
-res3 = (res2) {
-  default { n ->
-    age = n
-  }
-}
-
-res4 = (res3) {
-  (default.apply(5)) {
-    name = "Barn Owl"
-  }
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (intLiteralExpr))))
-        (objectElement
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectBodyParameters
-
-              (typedIdentifier
-                (identifier)))
-            (objectProperty
-              (identifier)
-              (unqualifiedAccessExpr
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (amendExpr
-            (parenthesizedExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (intLiteralExpr))))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))))))