@apple/tree-sitter-pkl 0.19.0 → 0.20.0

package/test/corpus/snippetTests/basic/newType.txt

@@ -1,686 +0,0 @@
-===
-basic/newType.pkl
-===
-
-import "pkl:test"
-
-class Person {
-  name: String
-}
-
-res1 = new Person { name = "Pigeon" }
-
-res2 {
-  prop = new Person { name = "Pigeon" }
-
-  new Person { name = "Pigeon" }
-
-  ["Pigeon"] = new Person { name = "Pigeon" }
-}
-
-res3 = new Listing {
-  new Person { name = "Pigeon" }
-}
-res4 = (res3) {
-  [0] = new Person { name = "Pigeon" }
-}
-
-res5 = new Listing<Person> {
-  new Person { name = "Pigeon" }
-  new { name = "Barn Owl" }
-}
-res6 = (res5) {
-  [0] = new { name = "Pigeon2" }
-  [1] { name = "Barn Owl2" }
-}
-
-res7 = new Mapping<String, Person> {
-  ["Pigeon"] = new Person { name = "Pigeon" }
-  ["Barn Owl"] = new { name = "Barn Owl" }
-  ["Parrot"] { name = "Parrot" }
-}
-res8 = (res7) {
-  ["Pigeon"] = new { name = "Pigeon2" }
-  ["Barn Owl"] { name = "Barn Owl2" }
-}
-
-local mixin1 = new Mixin { name = "Other" }
-res9 = new Person { name = "Pigeon" } |> mixin1
-res9b = test.catch(() -> mixin1.apply(new Person {}, new Person {}))
-
-local mixin2 = (mixin1) { name = "Override" }
-res9c = new Person { name = "Pigeon" } |> mixin2
-res9d = test.catch(() -> mixin2.apply(new Person {}, new Person {}))
-
-local mixin3 = new Mixin<Person> { name = "Other" }
-res10 = new Person { name = "Pigeon" } |> mixin3
-res10b = test.catch(() -> mixin3.apply(new Person {}, new Person {}))
-res10c = test.catch(() -> mixin3.apply(1))
-
-local mixin4 = (mixin3) { name = "Override" }
-res10d = new Person { name = "Pigeon" } |> mixin4
-res10e = test.catch(() -> mixin4.apply(new Person {}, new Person {}))
-res10f = test.catch(() -> mixin4.apply(1))
-
-typealias Person2 = Person
-res11 = new Person2 { name = "Pigeon" }
-
-typealias PersonMapping = Mapping<String, Person>
-res12 = new PersonMapping {
-  ["Pigeon"] = new Person { name = "Pigeon" }
-  ["Barn Owl"] = new { name = "Barn Owl" }
-  ["Parrot"] { name = "Parrot" }
-}
-
-res13 = new Person? { name = "Pigeon" }
-
-res14 = new *Person|String { name = "Pigeon" }
-
-res15 = test.catch(() -> new Int {})
-
-res16 = test.catch(() -> new Set {})
-
-res17 = test.catch(() -> new String|Person {})
-
-res18 = test.catch(() -> new "foo" {})
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))
-      (objectElement
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (intLiteralExpr)
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectElement
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (intLiteralExpr)
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectEntry
-          (intLiteralExpr)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (pipeExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (pipeExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (pipeExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList
-              (intLiteralExpr)))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (pipeExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList
-              (intLiteralExpr)))))))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (newExpr
-            (objectBody
-              (objectProperty
-                (identifier)
-                (slStringLiteralExpr
-                  (slStringLiteralPart))))))
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (nullableType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (unionType
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (newExpr
-            (unionType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))
-            (objectBody))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (newExpr
-            (stringLiteralType
-              (stringConstant
-                (slStringLiteralPart)))
-            (objectBody)))))))