@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,340 +0,0 @@
-===
-basic/set.pkl
-===
-
-amends "../snippetTest.pkl"
-
-local set1 = Set(1, "two", 3)
-local set2 = Set("two", 3, 1)
-local set3 = Set(1, "two", 4)
-local emptySet = Set()
-
-facts {
-  ["equality"] {
-    set1 == set1
-    set1 == set2
-    !(set1 == set3)
-
-    !(set1 == set1.toList())
-    !(set1 == set2.toList())
-    !(set1 == set3.toList())
-  }
-
-  ["inequality"] {
-    set1 != set3
-    !(set1 != set1)
-    !(set1 != set2)
-
-    set1 != set1.toList()
-    set1 != set2.toList()
-    set1 != set3.toList()
-  }
-}
-
-examples {
-  ["construction"] {
-    Set(1, 2, 3, 1, 2, 4)
-  }
-
-  ["addition"] {
-    set1 + set1
-    set1 + set2
-    set1 + set3
-
-    set1 + set1.toList()
-    set1 + set2.toList()
-    set1 + set3.toList()
-    set1 + List(1, "two", 4, 1, "two", 4)
-
-    emptySet + emptySet
-    set1 + emptySet
-    emptySet + set3
-
-    emptySet + emptySet.toList()
-    set1 + emptySet.toList()
-    emptySet + set3.toList()
-  }
-}
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr)
-        (intLiteralExpr))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (intLiteralExpr))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (logicalNotExpr
-              (parenthesizedExpr
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (unqualifiedAccessExpr
-                    (identifier))))))
-          (objectElement
-            (logicalNotExpr
-              (parenthesizedExpr
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (qualifiedAccessExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (identifier)
-                    (argumentList))))))
-          (objectElement
-            (logicalNotExpr
-              (parenthesizedExpr
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (qualifiedAccessExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (identifier)
-                    (argumentList))))))
-          (objectElement
-            (logicalNotExpr
-              (parenthesizedExpr
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (qualifiedAccessExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (identifier)
-                    (argumentList))))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (logicalNotExpr
-              (parenthesizedExpr
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (unqualifiedAccessExpr
-                    (identifier))))))
-          (objectElement
-            (logicalNotExpr
-              (parenthesizedExpr
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (unqualifiedAccessExpr
-                    (identifier))))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (intLiteralExpr)
-                (intLiteralExpr)
-                (intLiteralExpr)
-                (intLiteralExpr)
-                (intLiteralExpr)
-                (intLiteralExpr))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))
-                  (intLiteralExpr)))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (additiveExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList)))))))))

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

@@ -1,130 +0,0 @@
-===
-basic/trace.pkl
-===
-
-amends "../snippetTest.pkl"
-
-examples {
-  ["trace different values"] {
-    trace(1)
-    trace(true)
-    trace("Barn Owl")
-    trace("""
-      Bird
-      Barn Owl
-      """)
-    trace(List(1, 2, 3))
-    trace(Set(1, 2, 3))
-    trace(Map(1, "one", 2, "two"))
-    trace(new {
-      name = "Barn Owl"
-      age = 42
-    })
-    trace(new {
-      "Parrot"
-      "Barn Owl"
-      "Pigeon"
-    })
-    trace(new {
-      ["Parrot"] {
-        name = "Parrot"
-        age = 42
-      }
-    })
-  }
-}
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (traceExpr
-              (intLiteralExpr)))
-          (objectElement
-            (traceExpr
-              (trueLiteralExpr)))
-          (objectElement
-            (traceExpr
-              (slStringLiteralExpr
-                (slStringLiteralPart))))
-          (objectElement
-            (traceExpr
-              (mlStringLiteralExpr
-                (mlStringLiteralPart))))
-          (objectElement
-            (traceExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)))))
-          (objectElement
-            (traceExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)))))
-          (objectElement
-            (traceExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))
-                  (intLiteralExpr)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectElement
-            (traceExpr
-              (newExpr
-                (objectBody
-                  (objectProperty
-                    (identifier)
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))
-                  (objectProperty
-                    (identifier)
-                    (intLiteralExpr))))))
-          (objectElement
-            (traceExpr
-              (newExpr
-                (objectBody
-                  (objectElement
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))
-                  (objectElement
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))
-                  (objectElement
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))))))
-          (objectElement
-            (traceExpr
-              (newExpr
-                (objectBody
-                  (objectEntry
-                    (slStringLiteralExpr
-                      (slStringLiteralPart))
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (slStringLiteralExpr
-                          (slStringLiteralPart)))
-                      (objectProperty
-                        (identifier)
-                        (intLiteralExpr)))))))))))))

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

@@ -1,31 +0,0 @@
-===
-basic/typeResolution1.pkl
-===
-
-open module typeResolution1
-
-class Person1 { name = "person1" }
-
-p1: Person1
----
-
-(module
-  (moduleHeader
-    (moduleClause
-
-      (modifier)
-      (qualifiedIdentifier
-        (identifier))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

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

@@ -1,37 +0,0 @@
-===
-basic/typeResolution2.pkl
-===
-
-extends "typeResolution1.pkl"
-
-class Person2 { name = "person2" }
-
-pp1: Person1
-pp2: Person2
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

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

@@ -1,63 +0,0 @@
-===
-basic/typeResolution3.pkl
-===
-
-amends "typeResolution2.pkl"
-
-local class Person3 { name = "person3" }
-
-local ppp1: Person1 = new Person1 {}
-local ppp2: Person2 = new Person2 {}
-local ppp3: Person3 = new Person3 {}
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody))))

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

@@ -1,61 +0,0 @@
-===
-basic/typeResolution4.pkl
-===
-
-import "typeResolution1.pkl"
-import "typeResolution2.pkl"
-import "typeResolution3.pkl"
-
-res1: typeResolution1.Person1
-res2: typeResolution2.Person1
-res3: typeResolution2.Person2
-res4: typeResolution3.Person1
-res5: typeResolution3.Person2
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier))))))