@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,52 +0,0 @@
-===
-classes/unionTypesErrorDifferent2.pkl
-===
-
-class X {
-  a: Boolean|List<Int>(length > 3)
-}
-
-res1 = new X {
-  a = List(1, 2, 3)
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (constrainedType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))
-                (typeArgumentList
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))))
-              (comparisonExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (intLiteralExpr))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (intLiteralExpr)
-              (intLiteralExpr))))))))

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

@@ -1,36 +0,0 @@
-===
-classes/unionTypesErrorMultipleAliases.pkl
-===
-
-typealias Alias1 = String
-typealias Alias2 = Int
-res1: Alias1|Alias2 = new Dynamic { }
-
----
-
-(module
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

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

@@ -1,99 +0,0 @@
-===
-classes/unionTypesErrorNested.pkl
-===
-
-class X {
-  a: Boolean|Map<Int|List<Int>, String|Set<String>>
-}
-
-res1 = new X {
-  a = Map(
-    1, "foo",
-    2, Set("foo", "bar"),
-    List(1, 2, 3), "foo",
-    List(1, 2, 3), Set("bar", 4)
-  )
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (unionType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))
-                    (typeArgumentList
-                      (declaredType
-                        (qualifiedIdentifier
-                          (identifier))))))
-                (unionType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))
-                    (typeArgumentList
-                      (declaredType
-                        (qualifiedIdentifier
-                          (identifier)))))))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (intLiteralExpr)
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)))
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))
-                  (intLiteralExpr))))))))))

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

@@ -1,42 +0,0 @@
-===
-classes/unionTypesErrorSimple.pkl
-===
-
-class X {
-  a: Boolean|List<Int>
-}
-
-res1 = new X {
-  a = 42
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))))

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

@@ -1,43 +0,0 @@
-===
-classes/unionTypesErrorString1.pkl
-===
-
-class X {
-  a: "foo" | "bar" | "baz"
-}
-
-res1 = new X {
-  a = "foox"
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (unionType
-              (stringLiteralType
-                (stringConstant
-                  (slStringLiteralPart)))
-              (stringLiteralType
-                (stringConstant
-                  (slStringLiteralPart))))
-            (stringLiteralType
-              (stringConstant
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,85 +0,0 @@
-===
-classes/unionTypesErrorString2.pkl
-===
-
-class X {
-  a: "aaaaaaaaaaaaaaa"
-     | "bbbbbbbbbbbbb"
-     | "ccccccccccccc"
-     | "ddddddddddddd"
-     | "eeeeeeeeeeeee"
-     | "fffffffffffff"
-     | "ggggggggggggg"
-     | "hhhhhhhhhhhhh"
-     | "iiiiiiiiiiiii"
-     | "jjjjjjjjjjjjj"
-     | "kkkkkkkkkkkkk"
-}
-
-res1 = new X {
-  a = "other"
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (unionType
-              (unionType
-                (unionType
-                  (unionType
-                    (unionType
-                      (unionType
-                        (unionType
-                          (unionType
-                            (unionType
-                              (stringLiteralType
-                                (stringConstant
-                                  (slStringLiteralPart)))
-                              (stringLiteralType
-                                (stringConstant
-                                  (slStringLiteralPart))))
-                            (stringLiteralType
-                              (stringConstant
-                                (slStringLiteralPart))))
-                          (stringLiteralType
-                            (stringConstant
-                              (slStringLiteralPart))))
-                        (stringLiteralType
-                          (stringConstant
-                            (slStringLiteralPart))))
-                      (stringLiteralType
-                        (stringConstant
-                          (slStringLiteralPart))))
-                    (stringLiteralType
-                      (stringConstant
-                        (slStringLiteralPart))))
-                  (stringLiteralType
-                    (stringConstant
-                      (slStringLiteralPart))))
-                (stringLiteralType
-                  (stringConstant
-                    (slStringLiteralPart))))
-              (stringLiteralType
-                (stringConstant
-                  (slStringLiteralPart))))
-            (stringLiteralType
-              (stringConstant
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,34 +0,0 @@
-===
-classes/wrongType1.pkl
-===
-
-class Person {
-  name: String
-}
-
-pigeon = new Person {
-  name = 42
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))))

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

@@ -1,47 +0,0 @@
-===
-classes/wrongType2.pkl
-===
-
-class Person {
-  name: String
-  age: Int
-}
-
-pigeon = new Person {
-  name = "Pigeon"
-  age = "42"
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,71 +0,0 @@
-===
-classes/wrongType3.pkl
-===
-
-class Person {
-  name: String
-  age: Int
-  address: Address
-}
-
-class Address {
-  street: String
-}
-
-person = new Person {
-  name = "Pigeon"
-  age = 42
-  address = "Howdy St."
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,77 +0,0 @@
-===
-classes/wrongType4.pkl
-===
-
-class Person {
-  name: String
-  age: Int
-  address: Address
-}
-
-class Address {
-  street: String
-}
-
-person = new Person {
-  name = "Pigeon"
-  age = 42
-  address {
-    street = 4.gb
-  }
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (qualifiedAccessExpr
-                (intLiteralExpr)
-                (identifier)))))))))

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

@@ -1,43 +0,0 @@
-===
-classes/wrongType6.pkl
-===
-
-import "pkl:test"
-
-open class Person {
-  names: List<String>(!isEmpty)
-}
-
-pigeon = new Person {}
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))))
-            (logicalNotExpr
-              (unqualifiedAccessExpr
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

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

@@ -1,13 +0,0 @@
-===
-errors/abstractOpenMember.pkl
-===
-
-abstract open class Person
-
----
-
-(module
-  (clazz
-    (modifier)
-    (modifier)
-    (identifier)))

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

@@ -1,41 +0,0 @@
-===
-errors/analyzeImportsCannotFindModule.pkl
-===
-
-import "pkl:analyze"
-import "pkl:reflect"
-import ".../input-helper/analyze/cannotFindModule.pkl"
-
-res = analyze.importGraph(Set(reflect.Module(cannotFindModule).uri))
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier))))))))