@apple/tree-sitter-pkl 0.18.1 → 0.20.0

package/src/tree_sitter/parser.h

@@ -18,7 +18,6 @@ typedef uint16_t TSStateId;
 typedef uint16_t TSSymbol;
 typedef uint16_t TSFieldId;
 typedef struct TSLanguage TSLanguage;
-typedef struct TSLanguageMetadata TSLanguageMetadata;
 typedef struct TSLanguageMetadata {
   uint8_t major_version;
   uint8_t minor_version;

package/tree-sitter.json

@@ -18,7 +18,7 @@
     }
   ],
   "metadata": {
-    "version": "0.18.1",
+    "version": "0.20.0",
     "license": "Apache-2.0",
     "description": "Parser for Pkl programming language",
     "authors": [

package/bindings/c/tree-sitter-pkl.h

@@ -1,16 +0,0 @@
-#ifndef TREE_SITTER_PKL_H
-#define TREE_SITTER_PKL_H
-
-typedef struct TSLanguage TSLanguage;
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-const TSLanguage *tree_sitter_pkl();
-
-#ifdef __cplusplus
-}
-#endif
-
-#endif  // TREE_SITTER_PKL_H

package/test/corpus/basic/annotation.txt

@@ -1,241 +0,0 @@
-================
-annotation
-================
-
-/// doc comment
-/// doc comment
-@Ann
-@Ann2 { x = "foo" }
-@Ann3 {
-  x = "foo"
-  y = 1
-}
-module some.mod
-
-/// doc comment
-/// doc comment
-@Ann
-@Ann2 { x = "foo" }
-@Ann3 {
-  x = "foo"
-  y = 1
-}
-class SomeClass {
-  /// doc comment
-  /// doc comment
-  @Ann
-  @Ann2 { x = "foo" }
-  @Ann3 {
-    x = "foo"
-    y = 1
-  }
-  function someMethod() = "hi"
-
-  /// doc comment
-  /// doc comment
-  @Ann
-  @Ann2 { x = "foo" }
-  @Ann3 {
-    x = "foo"
-    y = 1
-  }
-  someProperty: String = "hi"
-}
-
-/// doc comment
-/// doc comment
-@Ann
-@Ann2 { x = "foo" }
-@Ann3 {
-  x = "foo"
-  y = 1
-}
-function someMethod() = "hi"
-
-/// doc comment
-/// doc comment
-@Ann
-@Ann2 { x = "foo" }
-@Ann3 {
-  x = "foo"
-  y = 1
-}
-someProperty: String = "hi"
-
-----------------
-
-(module
-  (moduleHeader
-    (docComment)
-    (annotation
-      (qualifiedIdentifier
-        (identifier)))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))
-    (moduleClause
-      (qualifiedIdentifier
-        (identifier)
-        (identifier))))
-  (clazz
-    (docComment)
-    (annotation
-      (qualifiedIdentifier
-        (identifier)))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))
-    (identifier)
-    (classBody
-      (classMethod
-        (docComment)
-        (annotation
-          (qualifiedIdentifier
-            (identifier)))
-        (annotation
-          (qualifiedIdentifier
-            (identifier))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))
-        (annotation
-          (qualifiedIdentifier
-            (identifier))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart)))
-            (objectProperty
-              (identifier)
-              (intLiteralExpr))))
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))
-      (classProperty
-        (docComment)
-        (annotation
-          (qualifiedIdentifier
-            (identifier)))
-        (annotation
-          (qualifiedIdentifier
-            (identifier))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart)))))
-        (annotation
-          (qualifiedIdentifier
-            (identifier))
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart)))
-            (objectProperty
-              (identifier)
-              (intLiteralExpr))))
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classMethod
-    (docComment)
-    (annotation
-      (qualifiedIdentifier
-        (identifier)))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))
-    (methodHeader
-      (identifier)
-      (parameterList))
-    (slStringLiteralExpr
-      (slStringLiteralPart)))
-  (classProperty
-    (docComment)
-    (annotation
-      (qualifiedIdentifier
-        (identifier)))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))
-    (annotation
-      (qualifiedIdentifier
-        (identifier))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (slStringLiteralExpr
-      (slStringLiteralPart))))

package/test/corpus/basic/comments.txt

@@ -1,41 +0,0 @@
-========
-comments
-========
-
-x = 10 // end-of-line comment
-
-y = 20 /*
-multi
-line
-comment
-*/ z = 30
-
-/// documentation comment
-function myFun() = 0
-
-a = 20 // single-line comment running until EOF rather than newline
-
---------
-
-(module
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (lineComment)
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (blockComment)
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (classMethod
-    (docComment)
-    (methodHeader
-      (identifier)
-      (parameterList))
-    (intLiteralExpr))
-  (classProperty
-    (identifier)
-    (intLiteralExpr))
-  (lineComment))

package/test/corpus/basic/shebangComment.txt

@@ -1,15 +0,0 @@
-===
-shebangComment
-===
-
-#!/usr/bin/env pkl
-
-foo = 1
-
----
-
-(module
-  (shebangComment)
-  (classProperty
-    (identifier)
-    (intLiteralExpr)))

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)))))