@apple/tree-sitter-pkl 0.19.0 → 0.20.0

package/test/corpus/snippetTests/types/typeAlias2.txt

@@ -1,361 +0,0 @@
-===
-types/typeAlias2.pkl
-===
-
-import "pkl:test"
-
-typealias List2<E> = List<E>
-
-res1: List2<Int> = List(1, 2, 3)
-
-res2: List2<List2<String>> = List(List("Pigeon"), List("Barn Owl"))
-
-typealias Map2<V, K> = Map<K, V>
-
-res3: Map2<String, Int> = Map(42, "Pigeon", 21, "Barn Owl")
-
-typealias StringMap<V> = Map<String, V>
-
-res4: StringMap<Duration> = Map("Pigeon", 3.min, "Barn Owl", 5.s)
-
-typealias MMap<X> = Map<X, X>
-
-class Person { name: String }
-
-res5: MMap<Person?> = Map(null, new Person { name = "Pigeon" }, new Person { name = "Barn Owl" }, null)
-
-typealias Mixin<Object> = (Object) -> Object
-
-local mixin: Mixin<Person> = (p: Person) -> (p) { name = "Other" }
-
-res6 = mixin.apply(new Person { name = "Pigeon" })
-
-open class Foo {
-  value: Int = 42
-}
-
-typealias Bar = Foo
-
-class Baz extends Bar {}
-
-res7 = (new Baz {}).value
-
-typealias MappingOrListing = Mapping|Listing
-
-res8 = new {
-  foo = 5
-  bar = if (foo is MappingOrListing) "bar" else foo
-}
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (typeAlias
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier)))
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (intLiteralExpr)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart))))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (typeAlias
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier))
-      (typeParameter
-        (identifier)))
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr)
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (typeAlias
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier)))
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (qualifiedAccessExpr
-          (intLiteralExpr)
-          (identifier))
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (qualifiedAccessExpr
-          (intLiteralExpr)
-          (identifier)))))
-  (typeAlias
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier)))
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (nullableType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (nullLiteralExpr)
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))
-        (nullLiteralExpr))))
-  (typeAlias
-    (identifier)
-    (typeParameterList
-      (typeParameter
-        (identifier)))
-    (functionLiteralType
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (amendExpr
-        (parenthesizedExpr
-          (unqualifiedAccessExpr
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (intLiteralExpr))))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (parenthesizedExpr
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody)))
-      (identifier)))
-  (typeAlias
-    (identifier)
-    (unionType
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (ifExpr
-            (typeTestExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))
-            (slStringLiteralExpr
-              (slStringLiteralPart))
-            (unqualifiedAccessExpr
-              (identifier))))))))

package/test/corpus/snippetTests/types/typeAliasConstraint1.txt

@@ -1,79 +0,0 @@
-===
-types/typeAliasConstraint1.pkl
-===
-
-local typealias OneCharacterString = String(length == 1)
-
-local class ClassWithLengthProperty {
-  length: Int = 99
-  
-  characters: List<OneCharacterString> = List("a", "b")
-}
-
-res1: OneCharacterString = "a"
-res2 = let (c = new ClassWithLengthProperty {}) c.characters
-
----
-
-(module
-  (typeAlias
-    (modifier)
-    (identifier)
-    (constrainedType
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (equalityExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr))))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart))
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier))
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody))
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (identifier)))))

package/test/corpus/snippetTests/types/typeAliasConstraint2.txt

@@ -1,77 +0,0 @@
-===
-types/typeAliasConstraint2.pkl
-===
-
-import ".../input-helper/types/typeAliasConstraint2.pkl" as helper
-
-foo: Int = 1
-bar: helper.MyTypeAlias(foo == 1) = new helper.MyClass {}
-
-function qux(bar: helper.MyTypeAlias(foo == 1)) = (bar) {}
-
-qux = qux(new helper.MyTypeAlias {})
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart))
-    (identifier))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)
-            (identifier)))
-        (equalityExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (intLiteralExpr))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier)))
-      (objectBody)))
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (constrainedType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)
-                  (identifier)))
-              (equalityExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (intLiteralExpr)))))))
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)
-              (identifier)))
-          (objectBody))))))

package/test/corpus/snippetTests/types/typeAliasContext.txt

@@ -1,26 +0,0 @@
-===
-types/typeAliasContext.pkl
-===
-
-import "helpers/originalTypealias.pkl"
-
-res: originalTypealias.Birds = new { "Jimmy Bird" }
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

package/test/corpus/snippetTests/types/typeAliasUnion.txt

@@ -1,169 +0,0 @@
-===
-types/typeAliasUnion.pkl
-===
-
-typealias Bar = "foo"|*"bar"
-
-bar: Bar
-
-bar2: *Bar|"baz"
-
-baz: Bar|*"baz"
-
-b: *("a"|*"b")|"c"
-
-c: ("a"|*"b")|*"c"
-
-class Foo { name: String = "foo" }
-class Baz { name: String = "baz" }
-
-d: *Foo | Baz
-e: *Foo | Baz = new {}
-f: Foo | *Baz
-g: Foo | *Baz = new {}
-
----
-
-(module
-  (typeAlias
-    (identifier)
-    (unionType
-      (stringLiteralType
-        (stringConstant
-          (slStringLiteralPart)))
-      (defaultUnionType
-        (stringLiteralType
-          (stringConstant
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (stringLiteralType
-          (stringConstant
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (defaultUnionType
-          (stringLiteralType
-            (stringConstant
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (defaultUnionType
-          (parenthesizedType
-            (unionType
-              (stringLiteralType
-                (stringConstant
-                  (slStringLiteralPart)))
-              (defaultUnionType
-                (stringLiteralType
-                  (stringConstant
-                    (slStringLiteralPart)))))))
-        (stringLiteralType
-          (stringConstant
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (parenthesizedType
-          (unionType
-            (stringLiteralType
-              (stringConstant
-                (slStringLiteralPart)))
-            (defaultUnionType
-              (stringLiteralType
-                (stringConstant
-                  (slStringLiteralPart))))))
-        (defaultUnionType
-          (stringLiteralType
-            (stringConstant
-              (slStringLiteralPart)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))))
-    (newExpr
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody))))