@apple/tree-sitter-pkl 0.17.0 → 0.18.0

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

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

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

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

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

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