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

@apple/tree-sitter-pkl 0.19.0 → 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 (679) hide show

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

@@ -1,106 +0,0 @@
-===
-errors/mappingTypeCheckError11.pkl
-===
-local a = new Mapping { [0] = new Foo {} }
-local b = (a) { [1] = new Bar {} }
-local c = b as Mapping<Int, Bar>
-local d = (c) { [2] = new Foo {} }
-local e = d as Mapping<Int, Foo>
-result = e
-open class Foo
-class Bar extends Foo
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (intLiteralExpr)
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (intLiteralExpr)
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (intLiteralExpr)
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeCastExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)))
-  (clazz
-    (modifier)
-    (identifier))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))))

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

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

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

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

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

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

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

@@ -1,41 +0,0 @@
-===
-errors/mappingTypeCheckError5.pkl
-===
-res: Mapping<String, String> = new {
-  when (false) {
-    ["foo"] = "foo"
-  }
-  [1] = "foo"
-}
----
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (whenGenerator
-          (falseLiteralExpr)
-          (objectBody
-            (objectEntry
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))
-        (objectEntry
-          (intLiteralExpr)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,75 +0,0 @@
-===
-errors/mappingTypeCheckError6.pkl
-===
-a = new Listing { "hi" }
-b = (a) {
-  "hihih"
-}
-bar = new Mapping {
-  [b] = "foo"
-}
-res: Mapping<Listing<String(length == 5)>, String> = bar
----
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectElement
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (unqualifiedAccessExpr
-            (identifier))
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (constrainedType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (intLiteralExpr)))))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (unqualifiedAccessExpr
-      (identifier))))

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

@@ -1,45 +0,0 @@
-===
-errors/mappingTypeCheckError7.pkl
-===
-res = new Mapping<Listing<String(length == 5)>, String> {
-  [new Listing { "hi" }] = "hi"
-}
----
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (constrainedType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (equalityExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (intLiteralExpr)))))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectBody
-        (objectEntry
-          (newExpr
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (objectBody
-              (objectElement
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,33 +0,0 @@
-===
-errors/mappingTypeCheckError8.pkl
-===
-res: Mapping<String, String> = new {
-  ...Map("foo", 1)
-}
----
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (objectSpread
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (slStringLiteralExpr
-                (slStringLiteralPart))
-              (intLiteralExpr))))))))

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

@@ -1,69 +0,0 @@
-===
-errors/mappingTypeCheckError9.pkl
-===
-local mapping1: Mapping<String, Int> = new { ["foo"] = 1 }
-local mapping2: Mapping<String, String> = mapping1
-local mapping3 = (mapping2) { ["bar"] =  "2" }
-first = mapping3["foo"]
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (newExpr
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (intLiteralExpr)))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (unqualifiedAccessExpr
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectEntry
-          (slStringLiteralExpr
-            (slStringLiteralPart))
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (subscriptExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (slStringLiteralExpr
-        (slStringLiteralPart)))))

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

@@ -1,15 +0,0 @@
-===
-errors/missingLocalPropertyValue1.pkl
-===
-local x: Int
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

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

@@ -1,22 +0,0 @@
-===
-errors/missingLocalPropertyValue2.pkl
-===
-amends "baseModule.pkl"
-local x: Int
----
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

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

@@ -1,13 +0,0 @@
-===
-errors/moduleAmendsSelf.pkl
-===
-amends "moduleAmendsSelf.pkl"
----
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart)))))

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

@@ -1,13 +0,0 @@
-===
-errors/moduleAmendsVersionCheck.pkl
-===
-amends "moduleWithHighMinPklVersion.pkl"
----
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart)))))

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

@@ -1,22 +0,0 @@
-===
-errors/moduleAmendsVersionCheck2.pkl
-===
-@ModuleInfo { minPklVersion = "99.9.9" }
-amends "baseModule.pkl"
----
-(module
-  (moduleHeader
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart)))))

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

@@ -1,43 +0,0 @@
-===
-errors/moduleExpected.pkl
-===
-hidden path: List<String> = import("moduleExpected.pkl").relativePathTo(module)
-dummy = 42
-result = (module) { dummy = 0 }.path
----
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))
-        (typeArgumentList
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))
-    (qualifiedAccessExpr
-      (importExpr
-        (stringConstant
-          (slStringLiteralPart)))
-      (identifier)
-      (argumentList
-        (moduleExpr))))
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (amendExpr
-        (parenthesizedExpr
-          (moduleExpr))
-        (objectBody
-          (objectProperty
-            (identifier)
-            (intLiteralExpr))))
-      (identifier))))

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

@@ -1,20 +0,0 @@
-===
-errors/moduleExtendsSelf.pkl
-===
-open module moduleExtendsSelf
-extends "moduleExtendsSelf.pkl"
----
-(module
-  (moduleHeader
-    (moduleClause
-      (modifier)
-      (qualifiedIdentifier
-        (identifier)))
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart)))))

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

@@ -1,13 +0,0 @@
-===
-errors/moduleExtendsVersionCheck.pkl
-===
-extends "moduleWithHighMinPklVersion.pkl"
----
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart)))))

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

@@ -1,22 +0,0 @@
-===
-errors/moduleExtendsVersionCheck2.pkl
-===
-@ModuleInfo { minPklVersion = "99.9.9" }
-extends "baseModule.pkl"
----
-(module
-  (moduleHeader
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart)))))

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

@@ -1,20 +0,0 @@
-===
-errors/moduleImportVersionCheck.pkl
-===
-import "moduleWithHighMinPklVersion.pkl"
-res1 = moduleWithHighMinPklVersion.x
----
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier))))