@apple/tree-sitter-pkl 0.17.0 → 0.18.1

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

@@ -0,0 +1,543 @@
+===
+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

@@ -0,0 +1,93 @@
+===
+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

@@ -0,0 +1,47 @@
+===
+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))))))))