@apple/tree-sitter-pkl 0.17.0 → 0.18.1

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

@@ -0,0 +1,225 @@
+===
+basic/localMethodTyped6.pkl
+===
+
+import "pkl:test"
+
+class C {
+  foo {
+    local function f1(): NonExistingType = 42
+    local function f2(x: NonExistingType): Int = x
+    local function f3(x: Int, y: NonExistingType): Int = x + y
+
+    res1 = test.catch(() -> f1())
+    res2 = test.catch(() -> f2(42))
+    res3 = test.catch(() -> f3(42, 21))
+    bar {
+      res4 = test.catch(() -> f1())
+      res5 = test.catch(() -> f2(42))
+      res6 = test.catch(() -> f3(42, 21))
+      baz {
+        res7 = test.catch(() -> f1())
+        res8 = test.catch(() -> f2(42))
+        res9 = test.catch(() -> f3(42, 21))
+      }
+    }
+  }
+}
+
+c = new C {}
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (objectBody
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList)
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))))
+            (intLiteralExpr))
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList
+                (typedIdentifier
+                  (identifier)
+                  (typeAnnotation
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))))
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList
+                (typedIdentifier
+                  (identifier)
+                  (typeAnnotation
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))))
+                (typedIdentifier
+                  (identifier)
+                  (typeAnnotation
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))))
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectProperty
+            (identifier)
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList))))))
+          (objectProperty
+            (identifier)
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)))))))
+          (objectProperty
+            (identifier)
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr)))))))
+          (objectProperty
+            (identifier)
+            (objectBody
+              (objectProperty
+                (identifier)
+                (qualifiedAccessExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (identifier)
+                  (argumentList
+                    (functionLiteralExpr
+                      (parameterList)
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList))))))
+              (objectProperty
+                (identifier)
+                (qualifiedAccessExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (identifier)
+                  (argumentList
+                    (functionLiteralExpr
+                      (parameterList)
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList
+                          (intLiteralExpr)))))))
+              (objectProperty
+                (identifier)
+                (qualifiedAccessExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (identifier)
+                  (argumentList
+                    (functionLiteralExpr
+                      (parameterList)
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList
+                          (intLiteralExpr)
+                          (intLiteralExpr)))))))
+              (objectProperty
+                (identifier)
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (identifier)
+                      (argumentList
+                        (functionLiteralExpr
+                          (parameterList)
+                          (unqualifiedAccessExpr
+                            (identifier)
+                            (argumentList))))))
+                  (objectProperty
+                    (identifier)
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (identifier)
+                      (argumentList
+                        (functionLiteralExpr
+                          (parameterList)
+                          (unqualifiedAccessExpr
+                            (identifier)
+                            (argumentList
+                              (intLiteralExpr)))))))
+                  (objectProperty
+                    (identifier)
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (identifier)
+                      (argumentList
+                        (functionLiteralExpr
+                          (parameterList)
+                          (unqualifiedAccessExpr
+                            (identifier)
+                            (argumentList
+                              (intLiteralExpr)
+                              (intLiteralExpr)))))))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody))))

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

@@ -0,0 +1,488 @@
+===
+basic/localMethodUntyped.pkl
+===
+
+local function f1() = 1
+local function f2(x) = x + 1
+local function f3(x, y) = x + y + 1
+res1 = f1()
+res2 = f2(42)
+res3 = f3(42, 21)
+
+foo1 {
+  res4 = f1()
+  res5 = f2(42)
+  res6 = f3(42, 21)
+  bar1 {
+    res7 = f1()
+    res8 = f2(42)
+    res9 = f3(42, 21)
+    baz1 {
+      res10 = f1()
+      res11 = f2(42)
+      res12 = f3(42, 21)
+    }
+  }
+}
+
+foo2 {
+  local function f1() = 2
+  local function f2(x) = x + 2
+  local function f3(x, y) = x + y + 2
+  res13 = f1()
+  res14 = f2(42)
+  res15 = f3(42, 21)
+  bar2 {
+    res16 = f1()
+    res17 = f2(42)
+    res18 = f3(42, 21)
+    baz2 {
+      res19 = f1()
+      res20 = f2(42)
+      res21 = f3(42, 21)
+    }
+  }
+}
+
+foo3 {
+  res22 = f1()
+  res23 = f2(42)
+  res24 = f3(42, 21)
+  bar3 {
+    local function f1() = 3
+    local function f2(x) = x + 3
+    local function f3(x, y) = x + y + 3
+    res25 = f1()
+    res26 = f2(42)
+    res27 = f3(42, 21)
+    baz3 {
+      res28 = f1()
+      res29 = f2(42)
+      res30 = f3(42, 21)
+    }
+  }
+}
+
+foo4 {
+  res22 = f1()
+  res23 = f2(42)
+  res24 = f3(42, 21)
+  bar4 {
+    res25 = f1()
+    res26 = f2(42)
+    res27 = f3(42, 21)
+    baz4 {
+      local function f1() = 4
+      local function f2(x) = x + 4
+      local function f3(x, y) = x + y + 4
+      res28 = f1()
+      res29 = f2(42)
+      res30 = f3(42, 21)
+    }
+  }
+}
+---
+
+(module
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList))
+    (intLiteralExpr))
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier))))
+    (additiveExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (intLiteralExpr)))
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier))
+        (typedIdentifier
+          (identifier))))
+    (additiveExpr
+      (additiveExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList)))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr))))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)
+                    (intLiteralExpr))))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList))
+        (intLiteralExpr))
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier))))
+        (additiveExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (intLiteralExpr)))
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier))
+            (typedIdentifier
+              (identifier))))
+        (additiveExpr
+          (additiveExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (unqualifiedAccessExpr
+              (identifier)))
+          (intLiteralExpr)))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList)))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr))))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)
+                    (intLiteralExpr))))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList)))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList))
+            (intLiteralExpr))
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList
+                (typedIdentifier
+                  (identifier))))
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr)))
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList
+                (typedIdentifier
+                  (identifier))
+                (typedIdentifier
+                  (identifier))))
+            (additiveExpr
+              (additiveExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (intLiteralExpr)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr))))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)
+                    (intLiteralExpr))))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList)))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr)
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList)))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr))))
+          (objectProperty
+            (identifier)
+            (objectBody
+              (objectMethod
+                (methodHeader
+                  (modifier)
+                  (identifier)
+                  (parameterList))
+                (intLiteralExpr))
+              (objectMethod
+                (methodHeader
+                  (modifier)
+                  (identifier)
+                  (parameterList
+                    (typedIdentifier
+                      (identifier))))
+                (additiveExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (intLiteralExpr)))
+              (objectMethod
+                (methodHeader
+                  (modifier)
+                  (identifier)
+                  (parameterList
+                    (typedIdentifier
+                      (identifier))
+                    (typedIdentifier
+                      (identifier))))
+                (additiveExpr
+                  (additiveExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (unqualifiedAccessExpr
+                      (identifier)))
+                  (intLiteralExpr)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr))))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)
+                    (intLiteralExpr)))))))))))