@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,351 +0,0 @@
-===
-types/currentModuleType2.pkl
-===
-
-open module currentModuleType2
-
-import "pkl:test"
-
-x: Int = 1
-
-res1: module = module
-
-res2: module = this
-
-res3: module = (this) { x = 2 }
-
-res4: module? = null
-
-res5: List<module> = List(module, (module) { x = 2 })
-
-res6: List<module> = fun(this)
-
-res6a: module = res6[0]
-
-function fun(m: module): List<module> = List((m) { x = 2 })
-
-class Bad {
-  res7: module = "abc"
-
-  res8: module = new Person {}
-
-  res9: module? = new Person {}
-
-  res10: List<module> = List(new Person {})
-}
-
-class Person
-
-res7 = test.catch(() -> new Bad {}.res7)
-
-res8 = test.catch(() -> new Bad {}.res8)
-
-res9 = test.catch(() -> new Bad {}.res9)
-
-res10 = test.catch(() -> new Bad {}.res10)
-
-output {
-  value =
-    let (r1 = res1)
-      let (r2 = res2)
-        let (r3 = res3)
-          let (r4 = res4)
-            let (r5 = res5)
-              let (r6 = res6)
-                let (r6a = res6a)
-                  let (r7 = res7)
-                    let (r8 = res8)
-                      let (r9 = res9)
-                        let (r10 = res10)
-                          new Dynamic { result = "ok" }
-}
-
----
-
-(module
-  (moduleHeader
-    (moduleClause
-
-      (modifier)
-      (qualifiedIdentifier
-        (identifier))))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (moduleType))
-    (moduleExpr))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (moduleType))
-    (thisExpr))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (moduleType))
-    (amendExpr
-      (parenthesizedExpr
-        (thisExpr))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (moduleType)))
-    (nullLiteralExpr))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (moduleType))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (moduleExpr)
-        (amendExpr
-          (parenthesizedExpr
-            (moduleExpr))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (moduleType))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (thisExpr))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (moduleType))
-    (subscriptExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (intLiteralExpr)))
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (moduleType))))
-      (typeAnnotation
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))
-          (typeArgumentList
-            (moduleType)))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (amendExpr
-          (parenthesizedExpr
-            (unqualifiedAccessExpr
-              (identifier)))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (intLiteralExpr)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (moduleType))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (moduleType))
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody)))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (nullableType
-            (moduleType)))
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody)))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (moduleType))))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody)))))))
-  (clazz
-    (identifier))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (letExpr
-          (typedIdentifier
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier))
-          (letExpr
-            (typedIdentifier
-              (identifier))
-            (unqualifiedAccessExpr
-              (identifier))
-            (letExpr
-              (typedIdentifier
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))
-              (letExpr
-                (typedIdentifier
-                  (identifier))
-                (unqualifiedAccessExpr
-                  (identifier))
-                (letExpr
-                  (typedIdentifier
-                    (identifier))
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (letExpr
-                    (typedIdentifier
-                      (identifier))
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (letExpr
-                      (typedIdentifier
-                        (identifier))
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (letExpr
-                        (typedIdentifier
-                          (identifier))
-                        (unqualifiedAccessExpr
-                          (identifier))
-                        (letExpr
-                          (typedIdentifier
-                            (identifier))
-                          (unqualifiedAccessExpr
-                            (identifier))
-                          (letExpr
-                            (typedIdentifier
-                              (identifier))
-                            (unqualifiedAccessExpr
-                              (identifier))
-                            (letExpr
-                              (typedIdentifier
-                                (identifier))
-                              (unqualifiedAccessExpr
-                                (identifier))
-                              (newExpr
-                                (declaredType
-                                  (qualifiedIdentifier
-                                    (identifier)))
-                                (objectBody
-                                  (objectProperty
-                                    (identifier)
-                                    (slStringLiteralExpr
-                                      (slStringLiteralPart))))))))))))))))))))

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

@@ -1,18 +0,0 @@
-===
-types/currentModuleType3.pkl
-===
-
-extends "currentModuleType2.pkl"
-
-res1 = module
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (moduleExpr)))

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

@@ -1,17 +0,0 @@
-===
-types/cyclicTypeAlias1.pkl
-===
-
-typealias Foo = List<Foo>
----
-
-(module
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))))))

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

@@ -1,42 +0,0 @@
-===
-types/cyclicTypeAlias2.pkl
-===
-
-typealias Foo = List<Bar>
-
-typealias Bar = Set<Baz>
-
-typealias Baz = Map<String, Foo>
----
-
-(module
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))
-      (typeArgumentList
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))))))

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

@@ -1,68 +0,0 @@
-===
-types/modifiersForTypes.pkl
-===
-
-import "pkl:reflect"
-
-class Foo {}
-
-typealias Bar = Foo
-
-const res1 = Foo.simpleName
-const res2 = Bar.toString()
-const res3 = reflect.Class(Foo).modifiers
-const res4 = reflect.TypeAlias(Bar).modifiers
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody))
-  (typeAlias
-    (identifier)
-    (declaredType
-      (qualifiedIdentifier
-        (identifier))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (identifier)
-        (argumentList
-          (unqualifiedAccessExpr
-            (identifier))))
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (identifier)
-        (argumentList
-          (unqualifiedAccessExpr
-            (identifier))))
-      (identifier))))

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

@@ -1,58 +0,0 @@
-===
-types/moduleType.pkl
-===
-
-import "helpers/someModule.pkl"
-
-res1: someModule = new {
-  foo = "foo2"
-}
-
-res2 = res1 is someModule
-
-res3: Listing<someModule> = new {
-  res1
-}
-
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (typeTestExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (unqualifiedAccessExpr
-            (identifier)))))))

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

@@ -1,29 +0,0 @@
-===
-types/nothingType.pkl
-===
-
-function throws(): nothing = throw("throwing a message")
-
-myValue: String = throws()
-
----
-
-(module
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList)
-      (typeAnnotation
-        (nothingType)))
-    (throwExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList))))

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

@@ -1,31 +0,0 @@
-===
-types/nothingWithUnions.pkl
-===
-
-x: "foo"|nothing = "foo"
-
-y: nothing|"foo" = "foo"
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (stringLiteralType
-          (stringConstant
-            (slStringLiteralPart)))
-        (nothingType)))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (nothingType)
-        (stringLiteralType
-          (stringConstant
-            (slStringLiteralPart)))))
-    (slStringLiteralExpr
-      (slStringLiteralPart))))