@apple/tree-sitter-pkl 0.16.0 → 0.18.0

package/test/corpus/snippetTests/listings2/typeCheck.txt

@@ -0,0 +1,336 @@
+===
+listings2/typeCheck.pkl
+===
+
+import "pkl:test"
+
+hidden x1: Listing<String> = new {
+  when (false) { 0 }
+  "pigeon"
+  42
+  "barn owl"
+}
+
+hidden x2: Listing<String(length > 3)> = new {
+  when (false) { 0 }
+  "pigeon"
+  "bob"
+}
+
+hidden x3: Listing<String>(!isEmpty)
+
+res1 = test.catch(() -> x1.toList())
+res2 = test.catch(() -> x2.toList())
+res3 = test.catch(() -> x3.toList())
+
+hidden x4: Listing = new {
+  when (true) {
+    throw("element unnecessarily evaluated")
+  }
+  for (n in List(1)) {
+    throw("element unnecessarily evaluated")
+  }
+}
+
+hidden x5: Listing<Any> = new {
+  when (true) {
+    throw("element unnecessarily evaluated")
+  }
+  for (n in List(1)) {
+    throw("element unnecessarily evaluated")
+  }
+}
+
+hidden x6: Listing<unknown> = new {
+  when (true) {
+    throw("element unnecessarily evaluated")
+  }
+  for (n in List(1)) {
+    throw("element unnecessarily evaluated")
+  }
+}
+
+hidden x7 = new Listing {
+  when (true) {
+    throw("element unnecessarily evaluated")
+  }
+  42
+  for (n in List(1)) {
+    throw("element unnecessarily evaluated")
+  }
+}
+
+res4 = x4.length == 2
+res5 = x5.length == 2
+res6 = x6.length == 2
+res7 = x7[1] == 42
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))
+    (newExpr
+      (objectBody
+        (whenGenerator
+          (falseLiteralExpr)
+          (objectBody
+            (objectElement
+              (intLiteralExpr))))
+        (objectElement
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectElement
+          (intLiteralExpr))
+        (objectElement
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (comparisonExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr))))))
+    (newExpr
+      (objectBody
+        (whenGenerator
+          (falseLiteralExpr)
+          (objectBody
+            (objectElement
+              (intLiteralExpr))))
+        (objectElement
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectElement
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier))
+          (typeArgumentList
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))
+        (logicalNotExpr
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))))
+        (forGenerator
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)))
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))
+    (newExpr
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))))
+        (forGenerator
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)))
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (unknownType))))
+    (newExpr
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))))
+        (forGenerator
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)))
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (trueLiteralExpr)
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))))
+        (objectElement
+          (intLiteralExpr))
+        (forGenerator
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)))
+          (objectBody
+            (objectElement
+              (throwExpr
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (qualifiedAccessExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (identifier))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (qualifiedAccessExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (identifier))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (qualifiedAccessExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (identifier))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (subscriptExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (intLiteralExpr))
+      (intLiteralExpr))))

package/test/corpus/snippetTests/listings2/wrongIndex.txt

@@ -0,0 +1,151 @@
+===
+listings2/wrongIndex.pkl
+===
+
+import "pkl:test"
+
+local x = new Listing {
+  when (false) { 0 }
+  "pigeon"
+}
+
+res1 = test.catch(() -> (x) {
+  when (false) { 0 }
+  [3] = "barn owl"
+})
+
+res2 = test.catch(() -> (x) {
+  when (false) { 0 }
+  [2 + 1] = "barn owl"
+})
+
+res3 = test.catch(() -> (x) {
+  when (false) { 0 }
+  [-1] = "barn owl"
+})
+
+res4 = test.catch(() -> (x) {
+  when (false) { 0 }
+  [-1 * 1] = "barn owl"
+})
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (falseLiteralExpr)
+          (objectBody
+            (objectElement
+              (intLiteralExpr))))
+        (objectElement
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectElement
+                    (intLiteralExpr))))
+              (objectEntry
+                (intLiteralExpr)
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectElement
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (intLiteralExpr)
+                  (intLiteralExpr))
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectElement
+                    (intLiteralExpr))))
+              (objectEntry
+                (unaryMinusExpr
+                  (intLiteralExpr))
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectElement
+                    (intLiteralExpr))))
+              (objectEntry
+                (multiplicativeExpr
+                  (unaryMinusExpr
+                    (intLiteralExpr))
+                  (intLiteralExpr))
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))))))))