@apple/tree-sitter-pkl 0.19.0 → 0.20.0

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

@@ -1,543 +0,0 @@
-===
-classes/unionTypes.pkl
-===
-
-class X {
-  a: Boolean|String
-  b: (Boolean|String)?
-  c: Boolean|String(length >= 3)
-  d: (Boolean|String)(this != false)
-}
-
-class Y {
-  hidden a: (Int|Float) -> String
-  hidden b: (Int) -> Float|String
-  c: ((Int) -> Float)|String
-}
-
-class Z {
-  a: String|List<String>
-  b: List<Int|Float>
-  c: List<Int|List<Float>>
-  d: Boolean|Map<Int|List<Int>, String|Set<String>>
-  e: Duration|Duration|Duration
-  f: DataSize|DataSize?
-  g: Pair<Int, Int>|Null
-}
-
-class Defaults {
-  a: *Set|List|Map
-  b: *"Pigeon"|"Parrot"|"Barn Owl"
-}
-
-res1 = new X {
-  a = true
-  b = null
-  c = true
-  d = true
-}
-
-res2 = new X {
-  a = "foo"
-  b = "foo"
-  c = "longer"
-  d = "foo"
-}
-
-res3 = new Y {
-  a = (x) -> "foo"
-  b = (x) -> 3.14
-  c = "foo"
-}
-
-res4 = new Z {
-  a = "foo"
-  b = List(1, 3.14, 2)
-  c = List(1, List(3.12), 2)
-  d = true
-  e = 5.s
-  f = 3.gb
-  g = Pair(1, 2)
-}
-
-res5 = new Z {
-  a = List("foo", "bar")
-  b = List(3.14, 1)
-  c = List()
-  d = Map(
-    1, "foo",
-    2, Set("foo", "bar"),
-    List(1, 2, 3), "foo",
-    List(1, 2, 3), Set("foo", "bar")
-  )
-  e = 1.s
-  f = null
-  g = null
-}
-
-res6 = new Defaults {}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (nullableType
-            (parenthesizedType
-              (unionType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (constrainedType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (comparisonExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (intLiteralExpr))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (parenthesizedType
-              (unionType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))))
-            (equalityExpr
-              (thisExpr)
-              (falseLiteralExpr)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (functionLiteralType
-            (unionType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (functionLiteralType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unionType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (parenthesizedType
-              (functionLiteralType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (unionType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (unionType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))
-                  (typeArgumentList
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier))))))))))
-      (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)
-        (typeAnnotation
-          (unionType
-            (unionType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (nullableType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (unionType
-              (defaultUnionType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (unionType
-            (unionType
-              (defaultUnionType
-                (stringLiteralType
-                  (stringConstant
-                    (slStringLiteralPart))))
-              (stringLiteralType
-                (stringConstant
-                  (slStringLiteralPart))))
-            (stringLiteralType
-              (stringConstant
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (trueLiteralExpr))
-        (objectProperty
-          (identifier)
-          (nullLiteralExpr))
-        (objectProperty
-          (identifier)
-          (trueLiteralExpr))
-        (objectProperty
-          (identifier)
-          (trueLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (functionLiteralExpr
-            (parameterList
-              (typedIdentifier
-                (identifier)))
-            (slStringLiteralExpr
-              (slStringLiteralPart))))
-        (objectProperty
-          (identifier)
-          (functionLiteralExpr
-            (parameterList
-              (typedIdentifier
-                (identifier)))
-            (floatLiteralExpr)))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (floatLiteralExpr)
-              (intLiteralExpr))))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (floatLiteralExpr)))
-              (intLiteralExpr))))
-        (objectProperty
-          (identifier)
-          (trueLiteralExpr))
-        (objectProperty
-          (identifier)
-          (qualifiedAccessExpr
-            (intLiteralExpr)
-            (identifier)))
-        (objectProperty
-          (identifier)
-          (qualifiedAccessExpr
-            (intLiteralExpr)
-            (identifier)))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (floatLiteralExpr)
-              (intLiteralExpr))))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList)))
-        (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))
-                  (slStringLiteralExpr
-                    (slStringLiteralPart)))))))
-        (objectProperty
-          (identifier)
-          (qualifiedAccessExpr
-            (intLiteralExpr)
-            (identifier)))
-        (objectProperty
-          (identifier)
-          (nullLiteralExpr))
-        (objectProperty
-          (identifier)
-          (nullLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

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

@@ -1,93 +0,0 @@
-===
-classes/unionTypesErrorAlias.pkl
-===
-
-typealias A =
-    "aaaaaaaaaaaaaaa"
-    | "bbbbbbbbbbbbb"
-    | "ccccccccccccc"
-    | "ddddddddddddd"
-    | "eeeeeeeeeeeee"
-    | "fffffffffffff"
-    | "ggggggggggggg"
-    | "hhhhhhhhhhhhh"
-    | "iiiiiiiiiiiii"
-    | "jjjjjjjjjjjjj"
-    | "kkkkkkkkkkkkk"
-
-class X {
-  a: A
-}
-
-res1 = new X {
-  a = "other"
-}
-
----
-
-(module
-  (typeAlias
-    (identifier)
-    (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)))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,47 +0,0 @@
-===
-classes/unionTypesErrorDifferent1.pkl
-===
-
-class X {
-  a: Boolean|List<Int>
-}
-
-res1 = new X {
-  a = List(1, 3.14, 2)
-}
-
----
-
-(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)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (floatLiteralExpr)
-              (intLiteralExpr))))))))