@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,103 +0,0 @@
-===
-classes/constraints8.pkl
-===
-
-import "pkl:test"
-
-const function isGreaterThan(n) = (x) -> x > n
-
-class X {
-  a: Int(isGreaterThan(5))
-  b: Int(isGreaterThan(10))
-}
-
-res1 = new X {
-  a = 6
-  b = 11
-}
-
-res2 = test.catch(() ->
-  new X {
-    a = 5
-  }.a
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classMethod
-    (methodHeader
-      (modifier)
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier))))
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)))
-      (comparisonExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (intLiteralExpr))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (intLiteralExpr))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier)))))))

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

@@ -1,92 +0,0 @@
-===
-classes/constraints9.pkl
-===
-
-import "pkl:test"
-
-class X {
-  a: Int("not a boolean")
-  b: Int((x) -> "not a boolean")
-}
-
-res1 = test.catch(() ->
-  new X {
-    a = 1
-  }.a
-)
-
-res2 = test.catch(() ->
-  new X {
-    b = 1
-  }.b
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (functionLiteralExpr
-              (parameterList
-                (typedIdentifier
-                  (identifier)))
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier)))))))

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

@@ -1,216 +0,0 @@
-===
-classes/constraintsLambdaThis.pkl
-===
-
-res1: String(List(1).map((it) -> this).single.length == 3) = "abc"
-res2: String(List(1).map((it) -> List(2).map((it) -> this)).single.single.length == 3) = "abc"
-
-res3: String(List(1).map((it) -> length).single == 3) = "abc"
-res4: String(List(1).map((it) -> List(2).map((it) -> length)).single.single == 3) = "abc"
-
-res5: String(List(1).map((it) -> getClass()).single == String) = "abc"
-res6: String(List(1).map((it) -> List(2).map((it) -> getClass())).single.single == String) = "abc"
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (equalityExpr
-          (qualifiedAccessExpr
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier)
-                  (argumentList
-                    (intLiteralExpr)))
-                (identifier)
-                (argumentList
-                  (functionLiteralExpr
-                    (parameterList
-                      (typedIdentifier
-                        (identifier)))
-                    (thisExpr))))
-              (identifier))
-            (identifier))
-          (intLiteralExpr))))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (equalityExpr
-          (qualifiedAccessExpr
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList
-                      (intLiteralExpr)))
-                  (identifier)
-                  (argumentList
-                    (functionLiteralExpr
-                      (parameterList
-                        (typedIdentifier
-                          (identifier)))
-                      (qualifiedAccessExpr
-                        (unqualifiedAccessExpr
-                          (identifier)
-                          (argumentList
-                            (intLiteralExpr)))
-                        (identifier)
-                        (argumentList
-                          (functionLiteralExpr
-                            (parameterList
-                              (typedIdentifier
-                                (identifier)))
-                            (thisExpr)))))))
-                (identifier))
-              (identifier))
-            (identifier))
-          (intLiteralExpr))))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (equalityExpr
-          (qualifiedAccessExpr
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)))
-              (identifier)
-              (argumentList
-                (functionLiteralExpr
-                  (parameterList
-                    (typedIdentifier
-                      (identifier)))
-                  (unqualifiedAccessExpr
-                    (identifier)))))
-            (identifier))
-          (intLiteralExpr))))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (equalityExpr
-          (qualifiedAccessExpr
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier)
-                  (argumentList
-                    (intLiteralExpr)))
-                (identifier)
-                (argumentList
-                  (functionLiteralExpr
-                    (parameterList
-                      (typedIdentifier
-                        (identifier)))
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier)
-                        (argumentList
-                          (intLiteralExpr)))
-                      (identifier)
-                      (argumentList
-                        (functionLiteralExpr
-                          (parameterList
-                            (typedIdentifier
-                              (identifier)))
-                          (unqualifiedAccessExpr
-                            (identifier))))))))
-              (identifier))
-            (identifier))
-          (intLiteralExpr))))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (equalityExpr
-          (qualifiedAccessExpr
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)))
-              (identifier)
-              (argumentList
-                (functionLiteralExpr
-                  (parameterList
-                    (typedIdentifier
-                      (identifier)))
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList)))))
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier)))))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (equalityExpr
-          (qualifiedAccessExpr
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier)
-                  (argumentList
-                    (intLiteralExpr)))
-                (identifier)
-                (argumentList
-                  (functionLiteralExpr
-                    (parameterList
-                      (typedIdentifier
-                        (identifier)))
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier)
-                        (argumentList
-                          (intLiteralExpr)))
-                      (identifier)
-                      (argumentList
-                        (functionLiteralExpr
-                          (parameterList
-                            (typedIdentifier
-                              (identifier)))
-                          (unqualifiedAccessExpr
-                            (identifier)
-                            (argumentList))))))))
-              (identifier))
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier)))))
-    (slStringLiteralExpr
-      (slStringLiteralPart))))

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

@@ -1,123 +0,0 @@
-===
-classes/equality.pkl
-===
-
-res1 = Int == Int
-res2 = Int == Float
-res3 = Int == 3.getClass()
-res4 = 3.getClass() == 4.getClass()
-res5 = Person == Person
-res6 = Person == Person2
-
-res7 = Int != Int
-res8 = Int != Float
-res9 = Int != 3.getClass()
-res10 = 3.getClass() != 4.getClass()
-res11 = Person != Person
-res12 = Person != Person2
-
-class Person
-class Person2
----
-
-(module
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)
-        (argumentList))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)
-        (argumentList))
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)
-        (argumentList))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)
-        (argumentList))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)
-        (argumentList))
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)
-        (argumentList))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (clazz
-    (identifier))
-  (clazz
-    (identifier)))

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

@@ -1,12 +0,0 @@
-===
-classes/externalClass.pkl
-===
-
-external class Foo
-
----
-
-(module
-  (clazz
-    (modifier)
-    (identifier)))

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

@@ -1,18 +0,0 @@
-===
-classes/externalFunction.pkl
-===
-
-class Foo {
-  external function bar()
-}
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (modifier)
-          (identifier)
-          (parameterList))))))

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

@@ -1,20 +0,0 @@
-===
-classes/externalProperty.pkl
-===
-
-class Foo {
-  external bar: String
-}
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))))

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

@@ -1,77 +0,0 @@
-===
-classes/functions1.pkl
-===
-
-local const a = 1
-const b = 2
-
-class X {
-  local c = 3
-  d = 4
-  function compute() = a * b * c * d
-}
-
-res1 = new X {}.compute()
-
-res2 = new X { d = 5 }.compute()
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (intLiteralExpr))
-  (classProperty
-    (modifier)
-    (identifier)
-    (intLiteralExpr))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (modifier)
-        (identifier)
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (intLiteralExpr))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (multiplicativeExpr
-          (multiplicativeExpr
-            (multiplicativeExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier)))
-          (unqualifiedAccessExpr
-            (identifier))))))
-  (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/functions2.txt

@@ -1,56 +0,0 @@
-===
-classes/functions2.pkl
-===
-
-a = 1
-
-class X {
-  a = 2
-  function compute() = a
-}
-
-res1 = new X {}.compute()
-
-res2 = new X { a = 3 }.compute()
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (intLiteralExpr))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (identifier)
-      (argumentList))))