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

@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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 (680) hide show

package/test/corpus/snippetTests/errors/letExpressionError2.txt DELETED Viewed

@@ -1,27 +0,0 @@
-===
-errors/letExpressionError2.pkl
-===
-res1 =
-  let (x = 1)
-    let (y = throw("ouch"))
-      y + 2
----
-(module
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier))
-      (intLiteralExpr)
-      (letExpr
-        (typedIdentifier
-          (identifier))
-        (throwExpr
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (additiveExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (intLiteralExpr))))))

package/test/corpus/snippetTests/errors/letExpressionErrorTyped.txt DELETED Viewed

@@ -1,27 +0,0 @@
-===
-errors/letExpressionErrorTyped.pkl
-===
-res1 =
-  let (x: Float = "abc")
-    x.reverse()
----
-(module
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (slStringLiteralExpr
-        (slStringLiteralPart))
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (identifier)
-        (argumentList)))))

package/test/corpus/snippetTests/errors/listingTypeCheckError1.txt DELETED Viewed

@@ -1,24 +0,0 @@
-===
-errors/listingTypeCheckError1.pkl
-===
-res = new Listing<String> {
-  1
-}
----
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectElement
-          (intLiteralExpr))))))

package/test/corpus/snippetTests/errors/listingTypeCheckError2.txt DELETED Viewed

@@ -1,30 +0,0 @@
-===
-errors/listingTypeCheckError2.pkl
-===
-one = 1
-res = new Listing<String> {
-  one
-}
----
-(module
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectElement
-          (unqualifiedAccessExpr
-            (identifier)))))))

package/test/corpus/snippetTests/errors/listingTypeCheckError3.txt DELETED Viewed

@@ -1,36 +0,0 @@
-===
-errors/listingTypeCheckError3.pkl
-===
-res: Listing<String(!isEmpty)> = new Listing<String> {
-  ""
-}
----
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (logicalNotExpr
-              (unqualifiedAccessExpr
-                (identifier)))))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr))))))

package/test/corpus/snippetTests/errors/listingTypeCheckError4.txt DELETED Viewed

@@ -1,43 +0,0 @@
-===
-errors/listingTypeCheckError4.pkl
-===
-res: Listing<String(!isEmpty)> = new Listing<String(endsWith("ga"))> {
-  "hola"
-}
----
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (logicalNotExpr
-              (unqualifiedAccessExpr
-                (identifier)))))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier)
-              (argumentList
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

package/test/corpus/snippetTests/errors/listingTypeCheckError5.txt DELETED Viewed

@@ -1,40 +0,0 @@
-===
-errors/listingTypeCheckError5.pkl
-===
-local l = new Listing { 1; 2; 3 } as Listing<String>
-res = l[0]
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (newExpr
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (objectBody
-          (objectElement
-            (intLiteralExpr))
-          (objectElement
-            (intLiteralExpr))
-          (objectElement
-            (intLiteralExpr))))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (subscriptExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (intLiteralExpr))))

package/test/corpus/snippetTests/errors/listingTypeCheckError6.txt DELETED Viewed

@@ -1,58 +0,0 @@
-===
-errors/listingTypeCheckError6.pkl
-===
-local listing1: Listing<Int> = new { 1 }
-local listing2: Listing<String> = listing1
-local listing3 = (listing2) { "2" }
-first = listing3[0]
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (intLiteralExpr)))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (subscriptExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (intLiteralExpr))))

package/test/corpus/snippetTests/errors/listingTypeCheckError7.txt DELETED Viewed

@@ -1,42 +0,0 @@
-===
-errors/listingTypeCheckError7.pkl
-===
-foo: Listing = new { 1; 2; 3 }
-bar: Listing<String> = (foo) { "bar" }
----
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectElement
-          (intLiteralExpr))
-        (objectElement
-          (intLiteralExpr))
-        (objectElement
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

package/test/corpus/snippetTests/errors/listingTypeCheckError8.txt DELETED Viewed

@@ -1,84 +0,0 @@
-===
-errors/listingTypeCheckError8.pkl
-===
-local a = new Listing { new Listing { 0 } }
-local b = a as Listing<Listing<String>>
-local c = (b) { new Listing { 1 } }
-local d = c as Listing<Listing<Int>>
-result = d
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectElement
-                (intLiteralExpr))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectElement
-                (intLiteralExpr))))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier))))

package/test/corpus/snippetTests/errors/listingTypeCheckError9.txt DELETED Viewed

@@ -1,97 +0,0 @@
-===
-errors/listingTypeCheckError9.pkl
-===
-local a = new Listing { new Foo {} }
-local b = (a) { new Bar {} }
-local c = b as Listing<Bar>
-local d = (c) { new Foo {} }
-local e = d as Listing<Foo>
-result = e
-open class Foo
-class Bar extends Foo
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)))
-  (clazz
-    (modifier)
-    (identifier))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))))

package/test/corpus/snippetTests/errors/localFixedMember.txt DELETED Viewed

@@ -1,19 +0,0 @@
-===
-errors/localFixedMember.pkl
-===
-local fixed name: String = "hello"
----
-(module
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (slStringLiteralExpr
-      (slStringLiteralPart))))

package/test/corpus/snippetTests/errors/localFunctionWithTypeParameter.txt DELETED Viewed

@@ -1,18 +0,0 @@
-===
-errors/localFunctionWithTypeParameter.pkl
-===
-local function x<T>() = x
----
-(module
-  (classMethod
-    (methodHeader
-      (modifier)
-      (identifier)
-      (typeParameterList
-        (typeParameter
-          (identifier)))
-      (parameterList))
-    (unqualifiedAccessExpr
-      (identifier))))

package/test/corpus/snippetTests/errors/localHiddenMember.txt DELETED Viewed

@@ -1,17 +0,0 @@
-===
-errors/localHiddenMember.pkl
-===
-local hidden name: String
----
-(module
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

package/test/corpus/snippetTests/errors/mappingTypeCheckError1.txt DELETED Viewed

@@ -1,29 +0,0 @@
-===
-errors/mappingTypeCheckError1.pkl
-===
-res = new Mapping<String, String> {
-  ["foo"] = 1
-}
----
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (intLiteralExpr))))))

package/test/corpus/snippetTests/errors/mappingTypeCheckError10.txt DELETED Viewed

@@ -1,49 +0,0 @@
-===
-errors/mappingTypeCheckError10.pkl
-===
-foo: Mapping = new { ["foo"] = 1; ["bar"] = 2 }
-bar: Mapping<String, String> = (foo) { ["baz"] = "three" }
----
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (intLiteralExpr))
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))