@apple/tree-sitter-pkl 0.19.0 → 0.20.0

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

@@ -1,160 +0,0 @@
-===
-errors/undefinedProperty5.pkl
-===
-
-class Zebra {
-  party: Party
-}
-
-class Party {
-  time: Mapping<Foo, Int>
-}
-
-class Foo {
-  bar: Bar
-}
-
-class Bar {
-  num: Mapping<Alpha, Boolean>
-}
-
-class Alpha {
-  beta: Bravo
-}
-
-class Bravo {
-  charlie: Charlie
-}
-
-class Charlie {
-  delta: Int
-}
-
-zebra: Zebra = new {
-  party {
-    time {
-      [new Foo {
-        bar {
-          num {
-            [new Alpha {}] = true
-          }
-        }
-      }] = 1
-    }
-  }
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (objectBody
-                (objectEntry
-                  (newExpr
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (objectBody
-                          (objectProperty
-                            (identifier)
-                            (objectBody
-                              (objectEntry
-                                (newExpr
-                                  (declaredType
-                                    (qualifiedIdentifier
-                                      (identifier)))
-                                  (objectBody))
-                                (trueLiteralExpr))))))))
-                  (intLiteralExpr))))))))))

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

@@ -1,40 +0,0 @@
-===
-errors/undefinedProperty6.pkl
-===
-
-
-class Person {
-  name: String
-}
-
-local person: Person = new {}
-
-res1 = person.name
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier))))

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

@@ -1,35 +0,0 @@
-===
-errors/undefinedProperty7.pkl
-===
-
-
-class Person {
-  name: String
-}
-
-res1 {
-  [new Person {}] = 1
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody))
-        (intLiteralExpr)))))

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

@@ -1,34 +0,0 @@
-===
-errors/undefinedProperty8.pkl
-===
-
-class Person {
-  name: String
-}
-
-output {
-  value = new Person {}
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody))))))

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

@@ -1,37 +0,0 @@
-===
-errors/underscoreLambda.pkl
-===
-
-local lambda = (_, x: Int) -> `_` + x
-
-res = lambda.apply(1, 1)
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (blankIdentifier)
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (additiveExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (intLiteralExpr)))))

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

@@ -1,17 +0,0 @@
-===
-errors/underscoreLet.pkl
-===
-
-foo = let (_ = throw("oops")) 0
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (letExpr
-      (blankIdentifier)
-      (throwExpr
-        (slStringLiteralExpr
-          (slStringLiteralPart)))
-      (intLiteralExpr))))

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

@@ -1,22 +0,0 @@
-===
-errors/userDefinedTypeParameter1.pkl
-===
-
-class Box<A> {
-  element: A
-}
----
-
-(module
-  (clazz
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier)))
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))))

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

@@ -1,32 +0,0 @@
-===
-errors/userDefinedTypeParameter2.pkl
-===
-
-class DoIt {
-  function doit<A>(a: A): A = a
-}
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (typeParameterList
-            (typeParameter
-              (identifier)))
-          (parameterList
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))))
-        (unqualifiedAccessExpr
-          (identifier))))))

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

@@ -1,35 +0,0 @@
-===
-errors/wrongForGeneratorType1.pkl
-===
-
-res1 = new Listing {
-  for (n: Int in List(1, "other", 2)) { n }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (forGenerator
-          (typedIdentifier
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (intLiteralExpr)))
-          (objectBody
-            (objectElement
-              (unqualifiedAccessExpr
-                (identifier)))))))))

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

@@ -1,37 +0,0 @@
-===
-errors/wrongForGeneratorType2.pkl
-===
-
-res1 = new Mapping {
-  for (n: Int in List(1, "other", 2)) { [n] = n }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (forGenerator
-          (typedIdentifier
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (intLiteralExpr)))
-          (objectBody
-            (objectEntry
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)))))))))

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

@@ -1,16 +0,0 @@
-===
-errors/wrongNumberOfMapArguments.pkl
-===
-
-res1 = Map(1, 2, 3)
----
-
-(module
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (intLiteralExpr)
-        (intLiteralExpr)))))

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

@@ -1,23 +0,0 @@
-===
-generators/duplicateDefinition1.pkl
-===
-
-x {
-  y = 123
-  when (true) { y = 456 }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))
-      (whenGenerator
-        (trueLiteralExpr)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr)))))))

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

@@ -1,30 +0,0 @@
-===
-generators/duplicateDefinition2.pkl
-===
-
-x {
-  ["y"] = 123
-  for (i in List(1)) { ["y"] = 456 }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr))
-      (forGenerator
-        (typedIdentifier
-          (identifier))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (intLiteralExpr)))
-        (objectBody
-          (objectEntry
-            (slStringLiteralExpr
-              (slStringLiteralPart))
-            (intLiteralExpr)))))))

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

@@ -1,26 +0,0 @@
-===
-generators/duplicateDefinition3.pkl
-===
-
-x {
-  when (true) { y = 1 }
-  when (true) { y = 2 }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (whenGenerator
-        (trueLiteralExpr)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (whenGenerator
-        (trueLiteralExpr)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr)))))))