@apple/tree-sitter-pkl 0.18.1 → 0.20.0

package/test/corpus/snippetTests/errors/constraintDetails1.txt

@@ -1,80 +0,0 @@
-===
-errors/constraintDetails1.pkl
-===
-
-birds: Listing(firstOneIsSandy) = new {
-  new Bird { name = "Bob" }
-  new Bird { name = "Bob" }
-}
-
-hidden firstOneIsSandy = (it: Listing<Bird>) -> it[0].name == "Sandy"
-
-class Bird { name: String }
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (unqualifiedAccessExpr
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))))
-      (equalityExpr
-        (qualifiedAccessExpr
-          (subscriptExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (intLiteralExpr))
-          (identifier))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))))

package/test/corpus/snippetTests/errors/constraintDetails2.txt

@@ -1,77 +0,0 @@
-===
-errors/constraintDetails2.pkl
-===
-
-birds: Listing(
-    let (myself: Listing<Bird> = this)
-      myself[0].name == "Sandy"
-  ) =
-  new {
-    new Bird { name = "Bob" }
-    new Bird { name = "Bob" }
-  }
-
-class Bird { name: String }
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (letExpr
-          (typedIdentifier
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))
-                (typeArgumentList
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))))))
-          (thisExpr)
-          (equalityExpr
-            (qualifiedAccessExpr
-              (subscriptExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (intLiteralExpr))
-              (identifier))
-            (slStringLiteralExpr
-              (slStringLiteralPart))))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))))

package/test/corpus/snippetTests/errors/constraintDetails3.txt

@@ -1,87 +0,0 @@
-===
-errors/constraintDetails3.pkl
-===
-
-foo: Listing(toList().every((it: Listing<Bird>) -> it[0].name == "Bob")) = new {
-  new Listing {
-    new Bird { name = "Eagle" }
-    new Bird { name = "Quail" }
-  }
-}
-
-class Bird { name: String }
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (qualifiedAccessExpr
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList))
-          (identifier)
-          (argumentList
-            (functionLiteralExpr
-              (parameterList
-                (typedIdentifier
-                  (identifier)
-                  (typeAnnotation
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier))
-                      (typeArgumentList
-                        (declaredType
-                          (qualifiedIdentifier
-                            (identifier))))))))
-              (equalityExpr
-                (qualifiedAccessExpr
-                  (subscriptExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (intLiteralExpr))
-                  (identifier))
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectElement
-                (newExpr
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (objectBody
-                    (objectProperty
-                      (identifier)
-                      (slStringLiteralExpr
-                        (slStringLiteralPart))))))
-              (objectElement
-                (newExpr
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (objectBody
-                    (objectProperty
-                      (identifier)
-                      (slStringLiteralExpr
-                        (slStringLiteralPart))))))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))))

package/test/corpus/snippetTests/errors/duplicateTypeParameter.txt

@@ -1,22 +0,0 @@
-===
-errors/duplicateTypeParameter.pkl
-===
-
-typealias MyType<Elem, Elem> = List<Elem>
----
-
-(module
-  (typeAlias
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier))
-      (typeParameter
-        (identifier)))
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))))))

package/test/corpus/snippetTests/errors/extendExternalClass.txt

@@ -1,12 +0,0 @@
-===
-errors/extendExternalClass.pkl
-===
-
-class Person extends Any
----
-
-(module
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))))

package/test/corpus/snippetTests/errors/extendTypeAlias.txt

@@ -1,33 +0,0 @@
-===
-errors/extendTypeAlias.pkl
-===
-
-open class Foo
-typealias Bar = Foo(true)
-class Baz extends Bar
-qux = new Baz {}
-
----
-
-(module
-  (clazz
-    (modifier)
-    (identifier))
-  (typeAlias
-    (identifier)
-    (constrainedType
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (trueLiteralExpr)))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

package/test/corpus/snippetTests/errors/forGeneratorCannotGenerateMethods.txt

@@ -1,30 +0,0 @@
-===
-errors/forGeneratorCannotGenerateMethods.pkl
-===
-
-foo {
-  for (n in List(1, 2, 3)) { local function foo() = "foo" }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (forGenerator
-        (typedIdentifier
-          (identifier))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (intLiteralExpr)
-            (intLiteralExpr)
-            (intLiteralExpr)))
-        (objectBody
-          (objectMethod
-            (methodHeader
-              (modifier)
-              (identifier)
-              (parameterList))
-            (slStringLiteralExpr
-              (slStringLiteralPart))))))))

package/test/corpus/snippetTests/errors/forGeneratorCannotGenerateProperties.txt

@@ -1,28 +0,0 @@
-===
-errors/forGeneratorCannotGenerateProperties.pkl
-===
-
-res {
-  for (n in List(1, 2, 3)) { foo = n }
-}
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (forGenerator
-        (typedIdentifier
-          (identifier))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (intLiteralExpr)
-            (intLiteralExpr)
-            (intLiteralExpr)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (unqualifiedAccessExpr
-              (identifier))))))))

package/test/corpus/snippetTests/errors/forGeneratorCannotIterateOverThisValue.txt

@@ -1,21 +0,0 @@
-===
-errors/forGeneratorCannotIterateOverThisValue.pkl
-===
-
-foo {
-  for (n in 5) { n }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (forGenerator
-        (typedIdentifier
-          (identifier))
-        (intLiteralExpr)
-        (objectBody
-          (objectElement
-            (unqualifiedAccessExpr
-              (identifier))))))))

package/test/corpus/snippetTests/errors/forGeneratorCannotIterateOverTyped.txt

@@ -1,27 +0,0 @@
-===
-errors/forGeneratorCannotIterateOverTyped.pkl
-===
-
-class Person
-foo {
-  for (_ in new Person {}) { 42 }
-}
-
----
-
-(module
-  (clazz
-    (identifier))
-  (classProperty
-    (identifier)
-    (objectBody
-      (forGenerator
-        (blankIdentifier)
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody))
-        (objectBody
-          (objectElement
-            (intLiteralExpr)))))))

package/test/corpus/snippetTests/errors/forGeneratorDuplicateParams1.txt

@@ -1,38 +0,0 @@
-===
-errors/forGeneratorDuplicateParams1.pkl
-===
-
-a = List(1, 2, 3, 4)
-
-foo {
-  for (i, i in a) {
-    i
-  }
-}
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (intLiteralExpr)
-        (intLiteralExpr)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (forGenerator
-        (typedIdentifier
-          (identifier))
-        (typedIdentifier
-          (identifier))
-        (unqualifiedAccessExpr
-          (identifier))
-        (objectBody
-          (objectElement
-            (unqualifiedAccessExpr
-              (identifier))))))))

package/test/corpus/snippetTests/errors/fullStackTraces.txt

@@ -1,64 +0,0 @@
-===
-errors/fullStackTraces.pkl
-===
-
-const local wrong = throw("fail")
-
-const hidden v1 = wrong
-
-const function f1() = v1
-
-const local function f2() = f1()
-
-class Foo {
-  foo = f2()
-}
-
-aFoo: Foo
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (throwExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart))))
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classMethod
-    (methodHeader
-      (modifier)
-      (identifier)
-      (parameterList))
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classMethod
-    (methodHeader
-      (modifier)
-      (modifier)
-      (identifier)
-      (parameterList))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

package/test/corpus/snippetTests/errors/fullStackTraces2.txt

@@ -1,56 +0,0 @@
-===
-errors/fullStackTraces2.pkl
-===
-
-local const invalid: String = 1
-
-const function f1() = invalid
-
-local const top = f1()
-
-class Foo {
-  foo = top
-}
-
-aFoo = new Foo {}
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (intLiteralExpr))
-  (classMethod
-    (methodHeader
-      (modifier)
-      (identifier)
-      (parameterList))
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

package/test/corpus/snippetTests/errors/functionNotFoundInClass.txt

@@ -1,35 +0,0 @@
-===
-errors/functionNotFoundInClass.pkl
-===
-
-class Foo {
-  function bar(x) = x
-}
-
-res1 = new Foo {}.baz(42)
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))))
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody))
-      (identifier)
-      (argumentList
-        (intLiteralExpr)))))

package/test/corpus/snippetTests/errors/functionNotFoundInModule.txt

@@ -1,25 +0,0 @@
-===
-errors/functionNotFoundInModule.pkl
-===
-
-function bar(x) = x
-
-res1 = module.baz(42)
----
-
-(module
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier))))
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (moduleExpr)
-      (identifier)
-      (argumentList
-        (intLiteralExpr)))))

package/test/corpus/snippetTests/errors/functionNotFoundInScope.txt

@@ -1,38 +0,0 @@
-===
-errors/functionNotFoundInScope.pkl
-===
-
-function fooa() = 42
-function foob(x) = 42
-fooc = 42
-function other() = 42
-
-res1 = foox()
----
-
-(module
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList))
-    (intLiteralExpr))
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier))))
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList))
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList))))

package/test/corpus/snippetTests/errors/functionNotFoundMaybeLambda.txt

@@ -1,24 +0,0 @@
-===
-errors/functionNotFoundMaybeLambda.pkl
-===
-
-listing = (it) -> it
-call = listing(10)
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)))))