@apple/tree-sitter-pkl 0.18.1 → 0.20.0

package/test/corpus/snippetTests/errors/spreadSyntaxDuplicateProperty1.txt

@@ -1,32 +0,0 @@
-===
-errors/spreadSyntaxDuplicateProperty1.pkl
-===
-
-local source {
-  foo = 1
-}
-
-res {
-  ...source
-  foo = 2
-}
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectSpread
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectProperty
-        (identifier)
-        (intLiteralExpr)))))

package/test/corpus/snippetTests/errors/spreadSyntaxDuplicateProperty2.txt

@@ -1,32 +0,0 @@
-===
-errors/spreadSyntaxDuplicateProperty2.pkl
-===
-
-local source {
-  foo = 1
-}
-
-res {
-  foo = 2
-  ...source
-}
-
----
-
-(module
-  (classProperty
-    (modifier)
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))
-      (objectSpread
-        (unqualifiedAccessExpr
-          (identifier))))))

package/test/corpus/snippetTests/errors/spreadSyntaxNullValue.txt

@@ -1,20 +0,0 @@
-===
-errors/spreadSyntaxNullValue.pkl
-===
-
-source = null
-
-res { ...source }
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (nullLiteralExpr))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectSpread
-        (unqualifiedAccessExpr
-          (identifier))))))

package/test/corpus/snippetTests/errors/spreadSyntaxUnknownTypedProperty.txt

@@ -1,47 +0,0 @@
-===
-errors/spreadSyntaxUnknownTypedProperty.pkl
-===
-
-class Person { name: String }
-
-local personDynamic {
-  name = "Barn Owl"
-  age = 34
-}
-
-res1: Person = new { ...personDynamic }
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (slStringLiteralExpr
-          (slStringLiteralPart)))
-      (objectProperty
-        (identifier)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectSpread
-          (unqualifiedAccessExpr
-            (identifier)))))))

package/test/corpus/snippetTests/errors/stackTraceWithQuotedMemberName.txt

@@ -1,23 +0,0 @@
-===
-errors/stackTraceWithQuotedMemberName.pkl
-===
-
-one {
-  `two three` {
-    four = throw("ouch")
-  }
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (objectBody
-          (objectProperty
-            (identifier)
-            (throwExpr
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))))))

package/test/corpus/snippetTests/errors/supercalls.txt

@@ -1,18 +0,0 @@
-===
-errors/supercalls.pkl
-===
-
-foo {
-  bar = super.bar()
-}
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (superAccessExpr
-          (identifier)
-          (argumentList))))))

package/test/corpus/snippetTests/errors/typeMismatchHelper.txt

@@ -1,19 +0,0 @@
-===
-errors/typeMismatchHelper.pkl
-===
-
-module foo.bar
-
-class Baz
-
----
-
-(module
-  (moduleHeader
-    (moduleClause
-
-      (qualifiedIdentifier
-        (identifier)
-        (identifier))))
-  (clazz
-    (identifier)))

package/test/corpus/snippetTests/errors/typeMismatchWithSameQualifiedClassName.txt

@@ -1,38 +0,0 @@
-===
-errors/typeMismatchWithSameQualifiedClassName.pkl
-===
-
-module foo.bar
-
-import "typeMismatchHelper.pkl"
-
-class Baz
-
-baz: Baz = new typeMismatchHelper.Baz {}
-
----
-
-(module
-  (moduleHeader
-    (moduleClause
-
-      (qualifiedIdentifier
-        (identifier)
-        (identifier))))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)
-          (identifier)))
-      (objectBody))))

package/test/corpus/snippetTests/errors/typeMismatchWithSameQualifiedModuleName.txt

@@ -1,28 +0,0 @@
-===
-errors/typeMismatchWithSameQualifiedModuleName.pkl
-===
-
-module foo.bar
-
-import "typeMismatchHelper.pkl"
-
-mod: module = typeMismatchHelper
-
----
-
-(module
-  (moduleHeader
-    (moduleClause
-
-      (qualifiedIdentifier
-        (identifier)
-        (identifier))))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (moduleType))
-    (unqualifiedAccessExpr
-      (identifier))))

package/test/corpus/snippetTests/errors/undefinedOp1.txt

@@ -1,12 +0,0 @@
-===
-errors/undefinedOp1.pkl
-===
-
-res1 = !1
----
-
-(module
-  (classProperty
-    (identifier)
-    (logicalNotExpr
-      (intLiteralExpr))))

package/test/corpus/snippetTests/errors/undefinedOp2.txt

@@ -1,14 +0,0 @@
-===
-errors/undefinedOp2.pkl
-===
-
-res1 = "str" + 42
----
-
-(module
-  (classProperty
-    (identifier)
-    (additiveExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart))
-      (intLiteralExpr))))

package/test/corpus/snippetTests/errors/undefinedOp3.txt

@@ -1,24 +0,0 @@
-===
-errors/undefinedOp3.pkl
-===
-
-l = List(1,2,3)
-res1 = l["idx"]
----
-
-(module
-  (classProperty
-    (identifier)
-    (unqualifiedAccessExpr
-      (identifier)
-      (argumentList
-        (intLiteralExpr)
-        (intLiteralExpr)
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (subscriptExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (slStringLiteralExpr
-        (slStringLiteralPart)))))

package/test/corpus/snippetTests/errors/undefinedProperty1.txt

@@ -1,28 +0,0 @@
-===
-errors/undefinedProperty1.pkl
-===
-
-class Person {
-  name: String
-}
-
-res1: Person
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

package/test/corpus/snippetTests/errors/undefinedProperty2.txt

@@ -1,15 +0,0 @@
-===
-errors/undefinedProperty2.pkl
-===
-
-name: String
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))))

package/test/corpus/snippetTests/errors/undefinedProperty3.txt

@@ -1,95 +0,0 @@
-===
-errors/undefinedProperty3.pkl
-===
-
-class D {
-  dProperty: String
-}
-
-class A {
-  b: Mapping<D, B>
-}
-
-class B {
-  `bar-baz`: C
-}
-
-class C {
-  theNumber : Int
-}
-
-a: A = new {
-  b {
-    [new D { dProperty = "dProperty" }] = new {}
-  }
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectEntry
-              (newExpr
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (objectBody
-                  (objectProperty
-                    (identifier)
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))))
-              (newExpr
-                (objectBody)))))))))

package/test/corpus/snippetTests/errors/undefinedProperty4.txt

@@ -1,141 +0,0 @@
-===
-errors/undefinedProperty4.pkl
-===
-
-class Zebra {
-  party: Party
-}
-
-class Party {
-  time: Mapping<Any, Int>
-}
-
-class Foo {
-  bar: Bar
-}
-
-class Bar {
-  num: Int
-}
-
-zebra: Zebra = new {
-  party {
-    time {
-      [1] = 1
-      [2] = 2
-      [3] = 3
-      [4] = 4
-      [5] = 5
-      [6] = 6
-      [7] = 7
-      [new Foo {
-        bar {
-          num = 5
-        }
-      }] = 0
-      [new Foo {}] = 1
-    }
-  }
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (objectBody
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (intLiteralExpr)
-                  (intLiteralExpr))
-                (objectEntry
-                  (newExpr
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (objectBody
-                          (objectProperty
-                            (identifier)
-                            (intLiteralExpr))))))
-                  (intLiteralExpr))
-                (objectEntry
-                  (newExpr
-                    (declaredType
-                      (qualifiedIdentifier
-                        (identifier)))
-                    (objectBody))
-                  (intLiteralExpr))))))))))