@apple/tree-sitter-pkl 0.19.0 → 0.21.0

package/test/corpus/basic/types.txt

@@ -1,187 +0,0 @@
-===
-types
-===
-
-res1: String
-
-res2: String?
-
-res3: String|Int
-
-res4: *String|Int
-
-res5: String?
-
-res6: String?(this == null)
-
-res7: String(this == null)?
-
-res8: String(this == null)?(!isEmpty)
-
-res9: module
-
-res10: module?
-
-res11: nothing
-
-res12: nothing?
-
-res13: unknown
-
-res14: unknown?
-
-res15: "string literal type"
-
-res16: (Int) -> Boolean
-
-res17: (module)
-
-res18: (String|Boolean)|(Int) -> Boolean
----
-
-(module
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (defaultUnionType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (nullableType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (equalityExpr
-          (thisExpr)
-          (nullLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (constrainedType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (equalityExpr
-            (thisExpr)
-            (nullLiteralExpr))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (constrainedType
-        (nullableType
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (equalityExpr
-              (thisExpr)
-              (nullLiteralExpr))))
-        (logicalNotExpr
-          (unqualifiedAccessExpr
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (moduleType)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (moduleType))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nothingType)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (nothingType))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unknownType)))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (nullableType
-        (unknownType))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (stringLiteralType
-        (stringConstant
-          (slStringLiteralPart)))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (functionLiteralType
-        (declaredType
-          (qualifiedIdentifier
-            (identifier)))
-        (declaredType
-          (qualifiedIdentifier
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (parenthesizedType
-        (moduleType))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (unionType
-        (parenthesizedType
-          (unionType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))))
-        (functionLiteralType
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))))))

package/test/corpus/class/constModifier.txt

@@ -1,23 +0,0 @@
-================================================================================
-constModifier
-================================================================================
-
-class MyClass {
-    const myProp: String = "hello"
-}
-
---------------------------------------------------------------------------------
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (slStringLiteralExpr
-          (slStringLiteralPart))))))

package/test/corpus/class/fixedModifier.txt

@@ -1,23 +0,0 @@
-================================================================================
-fixedModifier
-================================================================================
-
-class MyClass {
-    fixed myProp: String = "hello"
-}
-
---------------------------------------------------------------------------------
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (modifier)
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (slStringLiteralExpr
-          (slStringLiteralPart))))))

package/test/corpus/expr/binary.txt

@@ -1,107 +0,0 @@
-===
-binary
-===
-
-exprs {
-  1 as Int
-  1 is Int
-  1 == 1
-  1 != 1
-  1 && 1
-  1 || 1
-  1 |> 1
-  1 >= 2
-  1 <= 2
-  1 > 2
-  1 < 2
-  1 * 2
-  1 / 2
-  1 ~/ 2
-  1 ** 2
-  1 % 2
-  1 + 2
-  1 - 2
-}
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectElement
-        (typeCastExpr
-          (intLiteralExpr)
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectElement
-        (typeTestExpr
-          (intLiteralExpr)
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (objectElement
-        (equalityExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (equalityExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (logicalAndExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (logicalOrExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (pipeExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (comparisonExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (comparisonExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (comparisonExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (comparisonExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (exponentiationExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (multiplicativeExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (additiveExpr
-          (intLiteralExpr)
-          (intLiteralExpr)))
-      (objectElement
-        (additiveExpr
-          (intLiteralExpr)
-          (intLiteralExpr))))))

package/test/corpus/expr/binary2.txt

@@ -1,18 +0,0 @@
-===
-binary2
-===
-
-res = 1.h + 3.h
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (additiveExpr
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier))
-      (qualifiedAccessExpr
-        (intLiteralExpr)
-        (identifier)))))

package/test/corpus/expr/functionLiteral.txt

@@ -1,22 +0,0 @@
-===
-functionLiteral
-===
-
-res1 = (bar: Int) -> bar + 5
----
-
-(module
-  (classProperty
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))))))
-      (additiveExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr)))))

package/test/corpus/expr/if.txt

@@ -1,15 +0,0 @@
-===
-if
-===
-
-foo = if (true) 1 else 2
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (ifExpr
-      (trueLiteralExpr)
-      (intLiteralExpr)
-      (intLiteralExpr))))

package/test/corpus/expr/import.txt

@@ -1,20 +0,0 @@
-================================================================================
-import
-================================================================================
-
-res1 = import("foo.txt")
-res2 = import*("foo.txt")
-
---------------------------------------------------------------------------------
-
-(module
-  (classProperty
-    (identifier)
-    (importExpr
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (importExpr
-      (stringConstant
-        (slStringLiteralPart)))))

package/test/corpus/expr/let.txt

@@ -1,17 +0,0 @@
-===
-let
-===
-
-foo = let (prop = 1) prop
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (letExpr
-      (typedIdentifier
-        (identifier))
-      (intLiteralExpr)
-      (unqualifiedAccessExpr
-        (identifier)))))

package/test/corpus/expr/new.txt

@@ -1,34 +0,0 @@
-===
-new
-===
-
-res1 = new {}
-
-res2 = new Dynamic {}
-
-res3 = new Dynamic {} {} {}
----
-
-(module
-  (classProperty
-    (identifier)
-    (newExpr
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (amendExpr
-        (newExpr
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))
-          (objectBody))
-        (objectBody))
-      (objectBody))))

package/test/corpus/expr/qualifiedAccess.txt

@@ -1,102 +0,0 @@
-===
-qualifiedAccess
-===
-
-res1 = foo.bar
-
-res2 = foo
-  .bar
-
-res3 = foo.bar()
-
-res4 = foo
-  .bar()
-
-res5 = foo?.bar
-
-res6 = foo
-  ?.bar
-
-res7 = foo?.bar()
-
-res8 = foo
-  ?.bar()
-
-res10 = foo.bar
-
-res11 = "foo" + List("bar").join("")
----
-
-(module
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (additiveExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart))
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart))))
-        (identifier)
-        (argumentList
-          (slStringLiteralExpr))))))

package/test/corpus/expr/read.txt

@@ -1,26 +0,0 @@
-================================================================================
-read
-================================================================================
-
-res1 = read("foo.txt")
-res2 = read*("*.txt")
-res3 = read?("foo.txt")
-
---------------------------------------------------------------------------------
-
-(module
-  (classProperty
-    (identifier)
-    (readExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (readExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (readExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart)))))

package/test/corpus/expr/subscript.txt

@@ -1,48 +0,0 @@
-===
-subscript
-===
-
-res1 = foo == bar[0]
-res2 = foo > bar[0]
-res3 = foo < bar[0]
-res4 = foo * bar[0]
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (equalityExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (subscriptExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (comparisonExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (subscriptExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (comparisonExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (subscriptExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (multiplicativeExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (subscriptExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (intLiteralExpr)))))

package/test/corpus/expr/super.txt

@@ -1,27 +0,0 @@
-===
-super
-===
-
-exprs {
-  super.foo
-  super.foo()
-  super["foo"]
-}
-
----
-
-(module
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectElement
-        (superAccessExpr
-          (identifier)))
-      (objectElement
-        (superAccessExpr
-          (identifier)
-          (argumentList)))
-      (objectElement
-        (superSubscriptExpr
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

package/test/corpus/expr/throw.txt

@@ -1,13 +0,0 @@
-===
-throw
-===
-
-res1 = throw("Uh oh!")
----
-
-(module
-  (classProperty
-    (identifier)
-    (throwExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart)))))

package/test/corpus/expr/trace.txt

@@ -1,13 +0,0 @@
-===
-trace
-===
-
-res1 = trace("foo")
----
-
-(module
-  (classProperty
-    (identifier)
-    (traceExpr
-      (slStringLiteralExpr
-        (slStringLiteralPart)))))