@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,293 +0,0 @@
-===
-basic/letTyped.pkl
-===
-
-import "pkl:test"
-
-res1 =
-  let (x: Int = 42)
-    x + 1
-
-res2 =
-  let (str: String(endsWith("P")) = "Pigeon".reverse())
-    str.reverse()
-
-res3 =
-  let (x: Duration(unit == "min") = 3.min + 2.min)
-    let (y: Float(isPositive) = 1.2 + 1.3)
-      x * y
-
-res4 =
-  let (xs: List<Null|Boolean|"Pigeon"> = List("Pigeon", true, null))
-    xs
-
-res5 = test.catch(() ->
-  let (x: String = 42)
-    x + 1)
-
-res6 = test.catch(() ->
-  let (str: String(endsWith("A")) = "Pigeon".reverse())
-    str.reverse())
-
-res7 = test.catch(() ->
-  let (x: Duration(unit == "min") = 3.min + 2.min)
-    let (y: Float(!isPositive) = 1.2 + 1.3)
-      x * y)
-
-res8 = test.catch(() ->
-  let (xs: List<Null|Boolean|"Pigeon"> = List("Barn Owl", true, null))
-    xs)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (intLiteralExpr)
-      (additiveExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))
-      (qualifiedAccessExpr
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (identifier)
-        (argumentList))
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (identifier)
-        (argumentList))))
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))
-      (additiveExpr
-        (qualifiedAccessExpr
-          (intLiteralExpr)
-          (identifier))
-        (qualifiedAccessExpr
-          (intLiteralExpr)
-          (identifier)))
-      (letExpr
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (constrainedType
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (unqualifiedAccessExpr
-                (identifier)))))
-        (additiveExpr
-          (floatLiteralExpr)
-          (floatLiteralExpr))
-        (multiplicativeExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (unionType
-                (unionType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))))
-                (stringLiteralType
-                  (stringConstant
-                    (slStringLiteralPart))))))))
-      (unqualifiedAccessExpr
-        (identifier)
-        (argumentList
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (trueLiteralExpr)
-          (nullLiteralExpr)))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (letExpr
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))))
-            (intLiteralExpr)
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (letExpr
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (constrainedType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList
-                      (slStringLiteralExpr
-                        (slStringLiteralPart)))))))
-            (qualifiedAccessExpr
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (identifier)
-              (argumentList))
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList)))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (letExpr
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (constrainedType
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier)))
-                  (equalityExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (slStringLiteralExpr
-                      (slStringLiteralPart))))))
-            (additiveExpr
-              (qualifiedAccessExpr
-                (intLiteralExpr)
-                (identifier))
-              (qualifiedAccessExpr
-                (intLiteralExpr)
-                (identifier)))
-            (letExpr
-              (typedIdentifier
-                (identifier)
-                (typeAnnotation
-                  (constrainedType
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))
-                    (logicalNotExpr
-                      (unqualifiedAccessExpr
-                        (identifier))))))
-              (additiveExpr
-                (floatLiteralExpr)
-                (floatLiteralExpr))
-              (multiplicativeExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (unqualifiedAccessExpr
-                  (identifier)))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (letExpr
-            (typedIdentifier
-              (identifier)
-              (typeAnnotation
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))
-                  (typeArgumentList
-                    (unionType
-                      (unionType
-                        (declaredType
-                          (qualifiedIdentifier
-                            (identifier)))
-                        (declaredType
-                          (qualifiedIdentifier
-                            (identifier))))
-                      (stringLiteralType
-                        (stringConstant
-                          (slStringLiteralPart))))))))
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (slStringLiteralExpr
-                  (slStringLiteralPart))
-                (trueLiteralExpr)
-                (nullLiteralExpr)))
-            (unqualifiedAccessExpr
-              (identifier))))))))

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

@@ -1,252 +0,0 @@
-===
-basic/list.pkl
-===
-
-amends "../snippetTest.pkl"
-
-local list1 = List(1, "two", 3)
-local list2 = List(1, "two", 4)
-
-examples {
-  ["equality"] {
-    list1 == list1
-    list1 == list2
-    list1 == list1.toSet()
-    list1 == list2.toSet()
-  }
-
-  ["inequality"] {
-    list1 != list1
-    list1 != list2
-    list1 != list1.toSet()
-    list1 != list2.toSet()
-  }
-
-  ["addition"] {
-    list1 + list2
-    List() + List()
-    list1 + List()
-    List() + list2
-    list1 + list2.toSet()
-    List() + Set()
-    list1 + Set()
-    List() + list2.toSet()
-  }
-
-  ["subscript"] {
-    list1[0]
-    list1[1]
-    list1[2]
-    module.catch(() -> list1[-1])
-    module.catch(() -> list1[3])
-  }
-}
-
-
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (subscriptExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (intLiteralExpr)))
-          (objectElement
-            (subscriptExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (intLiteralExpr)))
-          (objectElement
-            (subscriptExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (intLiteralExpr)))
-          (objectElement
-            (qualifiedAccessExpr
-              (moduleExpr)
-              (identifier)
-              (argumentList
-                (functionLiteralExpr
-                  (parameterList)
-                  (subscriptExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (unaryMinusExpr
-                      (intLiteralExpr)))))))
-          (objectElement
-            (qualifiedAccessExpr
-              (moduleExpr)
-              (identifier)
-              (argumentList
-                (functionLiteralExpr
-                  (parameterList)
-                  (subscriptExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (intLiteralExpr)))))))))))

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

@@ -1,187 +0,0 @@
-===
-basic/localMethodDynamicBinding.pkl
-===
-
-class X {
-  x = 1
-  y = compute()
-  local function compute() = x
-}
-
-res1 = new X {}
-
-res2 = (res1) {
-  x = 2
-}
-
-class X2 {
-  x = 1
-  nested {
-    y = compute()
-    local function compute() = x
-  }
-}
-
-res3 = new X2 {}
-
-res4 = (res3) {
-  x = 2
-}
-
-res5 {
-  x = 1
-  y = compute()
-  local function compute() = x
-}
-
-res6 = (res5) {
-  x = 2
-}
-
-res7 {
-  x = 1
-  nested {
-    y = compute()
-    local function compute() = x
-  }
-}
-
-res8 = (res7) {
-  x = 2
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList)))
-      (classMethod
-        (methodHeader
-          (modifier)
-          (identifier)
-          (parameterList))
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList)))
-          (objectMethod
-            (methodHeader
-              (modifier)
-              (identifier)
-              (parameterList))
-            (unqualifiedAccessExpr
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))
-      (objectProperty
-        (identifier)
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList)))
-      (objectMethod
-        (methodHeader
-          (modifier)
-          (identifier)
-          (parameterList))
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))
-      (objectProperty
-        (identifier)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList)))
-          (objectMethod
-            (methodHeader
-              (modifier)
-              (identifier)
-              (parameterList))
-            (unqualifiedAccessExpr
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))))