@apple/tree-sitter-pkl 0.16.0 → 0.18.0

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

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

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

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