npm - @apple/tree-sitter-pkl - Versions diffs - 0.17.0 → 0.18.1 - Mend

@apple/tree-sitter-pkl 0.17.0 → 0.18.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (699) hide show

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

@@ -0,0 +1,438 @@
+===
+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 ADDED Viewed

@@ -0,0 +1,173 @@
+===
+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)))))))