@apple/tree-sitter-pkl 0.19.0 → 0.20.0

package/test/corpus/snippetTests/listings/hashCode.txt

@@ -1,438 +0,0 @@
-===
-listings/hashCode.pkl
-===
-
-amends "../snippetTest.pkl"
-
-local class Bird {
-  name: String
-}
-
-facts {
-  local set: Set<Int> = IntSeq(1, 100).fold(Set(), (res, n) -> res.add(n))
-  
-  ["local members aren't included in hash code"] {
-    local listing1 = new Listing { "one" }
-    local listing2 = new Listing { x; local x = "one" }
-    local listing3 = new Listing { x; local x = "one" } { [0] = y; local y = "one" }
-    
-    set.add(listing1).contains(listing2)
-    set.add(listing2).contains(listing3)
-    set.add(listing3).contains(listing2)
-    set.add(listing1).add(listing2).add(listing3).length == 101
-  }
-  
-  ["hidden members aren't included in hash code"] {
-    local listing1 = new Listing { "one" }
-    local listing2 = new Listing { "one"; default = (_) -> 42 }
-
-    set.add(listing1).contains(listing2)
-    set.add(listing2).contains(listing1)
-    set.add(listing1).add(listing2).length == 101
-  }
-}
-
-examples {
-  ["delegating listings compute correct hash codes"] {
-    local l1: Listing<Bird> = new {
-      new { name = "Pigeon" }
-      new { name = "Stork" }
-    }
-
-    local l2: Listing<Bird|Int> = l1
-
-    List(1, 2, 3, 4, 5, 6, l2, l1).distinct
-  }
-
-  ["delegating listings compute correct hash codes -- re-use hash-code"] {
-    local l1: Listing<Bird> = new {
-      new { name = "Pigeon" }
-      new { name = "Stork" }
-    }
-
-    local l2: Listing<Bird|Int> = l1
-
-    List(1, 2, 3, 4, 5, 6, l1, l2).distinct
-  }
-}
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))))))
-        (qualifiedAccessExpr
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (intLiteralExpr)))
-          (identifier)
-          (argumentList
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList))
-            (functionLiteralExpr
-              (parameterList
-                (typedIdentifier
-                  (identifier))
-                (typedIdentifier
-                  (identifier)))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectProperty
-            (modifier)
-            (identifier)
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectElement
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectProperty
-            (modifier)
-            (identifier)
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectElement
-                  (unqualifiedAccessExpr
-                    (identifier)))
-                (objectProperty
-                  (modifier)
-                  (identifier)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectProperty
-            (modifier)
-            (identifier)
-            (amendExpr
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody
-                  (objectElement
-                    (unqualifiedAccessExpr
-                      (identifier)))
-                  (objectProperty
-                    (modifier)
-                    (identifier)
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))))
-              (objectBody
-                (objectEntry
-                  (intLiteralExpr)
-                  (unqualifiedAccessExpr
-                    (identifier)))
-                (objectProperty
-                  (modifier)
-                  (identifier)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (qualifiedAccessExpr
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (identifier)
-                      (argumentList
-                        (unqualifiedAccessExpr
-                          (identifier))))
-                    (identifier)
-                    (argumentList
-                      (unqualifiedAccessExpr
-                        (identifier))))
-                  (identifier)
-                  (argumentList
-                    (unqualifiedAccessExpr
-                      (identifier))))
-                (identifier))
-              (intLiteralExpr)))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectProperty
-            (modifier)
-            (identifier)
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectElement
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectProperty
-            (modifier)
-            (identifier)
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectElement
-                  (slStringLiteralExpr
-                    (slStringLiteralPart)))
-                (objectProperty
-                  (identifier)
-                  (functionLiteralExpr
-                    (parameterList
-                      (blankIdentifier))
-                    (intLiteralExpr))))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (qualifiedAccessExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (identifier)
-                    (argumentList
-                      (unqualifiedAccessExpr
-                        (identifier))))
-                  (identifier)
-                  (argumentList
-                    (unqualifiedAccessExpr
-                      (identifier))))
-                (identifier))
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectProperty
-            (modifier)
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))
-                (typeArgumentList
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))))))
-            (newExpr
-              (objectBody
-                (objectElement
-                  (newExpr
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (slStringLiteralExpr
-                          (slStringLiteralPart))))))
-                (objectElement
-                  (newExpr
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (slStringLiteralExpr
-                          (slStringLiteralPart)))))))))
-          (objectProperty
-            (modifier)
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))
-                (typeArgumentList
-                  (unionType
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))))))
-            (unqualifiedAccessExpr
-              (identifier)))
-          (objectElement
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier)))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectProperty
-            (modifier)
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))
-                (typeArgumentList
-                  (declaredType
-                    (qualifiedIdentifier
-                      (identifier))))))
-            (newExpr
-              (objectBody
-                (objectElement
-                  (newExpr
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (slStringLiteralExpr
-                          (slStringLiteralPart))))))
-                (objectElement
-                  (newExpr
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (slStringLiteralExpr
-                          (slStringLiteralPart)))))))))
-          (objectProperty
-            (modifier)
-            (identifier)
-            (typeAnnotation
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier))
-                (typeArgumentList
-                  (unionType
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))))))
-            (unqualifiedAccessExpr
-              (identifier)))
-          (objectElement
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (intLiteralExpr)
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (unqualifiedAccessExpr
-                    (identifier))))
-              (identifier))))))))

package/test/corpus/snippetTests/listings/inequality.txt

@@ -1,173 +0,0 @@
-===
-listings/inequality.pkl
-===
-
-local x = new Listing {
-  "one"
-  "two"
-}
-
-res1 = x != x
-res2 = x != new Listing {
-  "one"
-  "two"
-}
-res3 = x != new Listing {
-  "two"
-}
-res4 = x != new Listing {
-  "two"
-  "one"
-}
-res5 = x != (x) {}
-res6 = x != (x) { "one" }
-res8 = x != (x) { default = 9 }
-res9 = (x) { default = 9 } != (x) { default = 10 }
-res10 = new Listing { "one" } != new Listing { "one"; default = 9 }
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (amendExpr
-        (parenthesizedExpr
-          (unqualifiedAccessExpr
-            (identifier)))
-        (objectBody))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (amendExpr
-        (parenthesizedExpr
-          (unqualifiedAccessExpr
-            (identifier)))
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (amendExpr
-        (parenthesizedExpr
-          (unqualifiedAccessExpr
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (amendExpr
-        (parenthesizedExpr
-          (unqualifiedAccessExpr
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (amendExpr
-        (parenthesizedExpr
-          (unqualifiedAccessExpr
-            (identifier)))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))))
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))
-          (objectProperty
-            (identifier)
-            (intLiteralExpr)))))))