@apple/tree-sitter-pkl 0.18.1 → 0.20.0

package/test/corpus/snippetTests/classes/functions3.txt

@@ -1,81 +0,0 @@
-===
-classes/functions3.pkl
-===
-
-const function a(x) = 2 * x
-
-class X {
-  function b(x) = 3 * x
-  function compute() = a(b(c))
-  c = 4
-}
-
-res1 = new X {}.compute()
-
-res2 = new X { c = 5 }.compute()
-
----
-
-(module
-  (classMethod
-    (methodHeader
-      (modifier)
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier))))
-    (multiplicativeExpr
-      (intLiteralExpr)
-      (unqualifiedAccessExpr
-        (identifier))))
-  (clazz
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))))
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (unqualifiedAccessExpr
-            (identifier))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)))))))
-      (classProperty
-        (identifier)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (identifier)
-      (argumentList))))

package/test/corpus/snippetTests/classes/functions4.txt

@@ -1,125 +0,0 @@
-===
-classes/functions4.pkl
-===
-
-function a(x) = 2 * x
-
-open class X {
-  function a(x) = 3 * x
-  function compute() = a(c)
-  c = 3
-}
-
-class Y extends X {
-  function a(x) = 4 * x
-  c = 5
-}
-
-res1 = new X {}.compute()
-res2 = new X { c = 4 }.compute()
-res3 = new Y {}.compute()
-res4 = new Y { c = 6 }.compute()
-
----
-
-(module
-  (classMethod
-    (methodHeader
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier))))
-    (multiplicativeExpr
-      (intLiteralExpr)
-      (unqualifiedAccessExpr
-        (identifier))))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))))
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (unqualifiedAccessExpr
-            (identifier))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (unqualifiedAccessExpr
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (intLiteralExpr))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))))
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (unqualifiedAccessExpr
-            (identifier))))
-      (classProperty
-        (identifier)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (identifier)
-      (argumentList))))

package/test/corpus/snippetTests/classes/inheritance1.txt

@@ -1,98 +0,0 @@
-===
-classes/inheritance1.pkl
-===
-
-abstract class Person {
-  name: String
-}
-
-class Teacher extends Person {
-  subjects: List<String>
-}
-
-res1 = new Teacher {
-  name = "Pigeon"
-  subjects = List("Rocks", "Stone Age")
-}
-
-res2 = (res1) {
-  name = "Parrot"
-}
-
-res3 = (res2) {
-  subjects = List("Fire Making")
-}
-
----
-
-(module
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))))))

package/test/corpus/snippetTests/classes/inheritance2.txt

@@ -1,91 +0,0 @@
-===
-classes/inheritance2.pkl
-===
-
-open class Person {
-  name: String = "Pigeon"
-}
-
-class Teacher extends Person {
-  subjects: List<String> = List("Rocks", "Stone Age")
-}
-
-res1 = new Teacher {}
-
-res2 = (res1) {
-  name = "Parrot"
-}
-
-res3 = (res2) {
-  subjects = List("Fire Making")
-}
-
----
-
-(module
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))))
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart))
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))))))

package/test/corpus/snippetTests/classes/invalidInstantiation1.txt

@@ -1,16 +0,0 @@
-===
-classes/invalidInstantiation1.pkl
-===
-
-res1 = new String {}
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

package/test/corpus/snippetTests/classes/invalidInstantiation2.txt

@@ -1,21 +0,0 @@
-===
-classes/invalidInstantiation2.pkl
-===
-
-abstract class Base
-
-res1 = new Base {}
-
----
-
-(module
-  (clazz
-    (modifier)
-    (identifier))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

package/test/corpus/snippetTests/classes/lambdaConstraints1.txt

@@ -1,190 +0,0 @@
-===
-classes/lambdaConstraints1.pkl
-===
-
-import "pkl:test"
-
-class X {
-  hidden f: () -> Int
-  hidden g: (String) -> Int
-  hidden h: (String, String) -> Int
-}
-
-res1 = new X {
-  f = () -> 42
-  g = (str) -> str.length
-  h = (str1, str2) -> str1.length + str2.length
-}
-
-res2 = test.catch(() ->
-  new X {
-    f = (str) -> str.length
-  }.f
-)
-
-res3 = test.catch(() ->
-  new X {
-    g = () -> 42
-  }.g
-)
-
-res4 = test.catch(() ->
-  new X {
-    h = (str) -> str.length
-  }.h
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (functionLiteralType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (functionLiteralType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (functionLiteralType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (functionLiteralExpr
-            (parameterList)
-            (intLiteralExpr)))
-        (objectProperty
-          (identifier)
-          (functionLiteralExpr
-            (parameterList
-              (typedIdentifier
-                (identifier)))
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier))))
-        (objectProperty
-          (identifier)
-          (functionLiteralExpr
-            (parameterList
-              (typedIdentifier
-                (identifier))
-              (typedIdentifier
-                (identifier)))
-            (additiveExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (functionLiteralExpr
-                    (parameterList
-                      (typedIdentifier
-                        (identifier)))
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (identifier))))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (functionLiteralExpr
-                    (parameterList)
-                    (intLiteralExpr)))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (functionLiteralExpr
-                    (parameterList
-                      (typedIdentifier
-                        (identifier)))
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (identifier))))))
-            (identifier)))))))