tree-sitter-bynk 0.245.0 → 0.303.4

package/README.md

@@ -0,0 +1,49 @@
+# tree-sitter-bynk
+
+[![License: MIT OR Apache-2.0](https://img.shields.io/badge/license-MIT%20OR%20Apache--2.0-blue.svg)](#license)
+
+The [tree-sitter](https://tree-sitter.github.io/tree-sitter/) grammar for the
+[Bynk](https://github.com/accuser/bynk) language — the source of truth for
+tree-sitter syntax highlighting (`queries/highlights.scm`), the playground's
+editor, and the Book's grammar reference (rendered from `src/grammar.json` by
+[`bynk-grammar`](https://crates.io/crates/bynk-grammar)).
+
+This directory is **two things**:
+
+- **The grammar** (`grammar.js`), published to npm as
+  [`tree-sitter-bynk`](https://www.npmjs.com/package/tree-sitter-bynk), with
+  its generated Node binding (`bindings/node/`). This is what tree-sitter
+  editors consume. (`vscode-bynk` ships its own TextMate grammar and does not
+  use this one.)
+- **A Rust crate** (this `Cargo.toml`, wrapping `bindings/rust/`) that exists
+  for exactly one purpose: the cross-parser conformance test
+  (`tests/conformance.rs`), which parses Bynk source with this grammar and
+  diffs the accept/reject decision against the hand-written
+  [`bynk-syntax`](https://crates.io/crates/bynk-syntax) recursive-descent
+  parser — the only guard tying the editor grammar to the compiler's own.
+
+> **Not a published Rust crate.** The Rust binding is `publish = false` and
+> kept off the release workflows' crate list; only the grammar itself ships
+> to npm.
+
+The grammar deliberately stays **permissive** in the places where Bynk's type
+checker would reject a program — semantic rules (type checking,
+exhaustiveness, effect propagation, `given` matching) are left entirely to
+the LSP (`bynk-lsp`), not encoded here.
+
+## Building
+
+```sh
+npm install
+npx tree-sitter generate
+npx tree-sitter test
+```
+
+The Rust binding builds as an ordinary workspace member (`cargo build -p
+tree-sitter-bynk`); `bynk-syntax` does not depend on it, so the conformance
+test's dev-dependency edge is cycle-free.
+
+## License
+
+Licensed under either of [Apache-2.0](https://github.com/accuser/bynk/blob/main/LICENSE-APACHE) or
+[MIT](https://github.com/accuser/bynk/blob/main/LICENSE-MIT) at your option.

package/grammar.js

@@ -74,6 +74,13 @@ module.exports = grammar({
     // whether a matcher (`called`/`never`/`before`) or an ordinary continuation
     // (`(`, an operator, …) follows.
     [$.observation_expr, $._primary],
+    // v0.140: inside `agent_decl`, a `store` field's own trailing
+    // `@annotation`s are the same rule as the handler-position annotation
+    // prefix that can immediately follow the last store field — one token of
+    // `@` lookahead can't tell which one a run of annotations belongs to.
+    // Both parses are equivalent once the next `on`/`store`/handler-body
+    // token is seen, so GLR resolves it rather than the grammar needing to.
+    [$.store_field],
   ],
 
   rules: {
@@ -435,7 +442,16 @@ module.exports = grammar({
         "Positive",
         "NonEmpty",
       ),
-    _pred_arg: ($) => choice($.number_literal, $.float_literal, $.string_literal),
+    // v0.21/v0.142 (ADR 0166): a refinement-bound number may be negated —
+    // `InRange(-1_000, 1_000_000)` — mirroring `parse_signed_num_literal`'s
+    // optional leading `-` (a string argument, `Matches`'s only shape, is
+    // never signed).
+    _pred_arg: ($) =>
+      choice(
+        seq(optional("-"), $.number_literal),
+        seq(optional("-"), $.float_literal),
+        $.string_literal,
+      ),
 
     _base_type: ($) => $.base_type,
     base_type: () =>
@@ -681,7 +697,10 @@ module.exports = grammar({
         // v0.142 (ADR 0166): the optional `limits { }` policy, likewise a
         // header-position `from http` concern restricted by the checker.
         optional(field("limits", $.limits_policy)),
-        repeat($.handler),
+        // v0.140 (ADR 0163): a handler may carry one or more `@name(args)`
+        // annotations (`@cache(maxAge: 5.minutes)`, `@limit(maxBody: …)`) —
+        // the same shape `store_annotation` already gives store fields.
+        repeat(seq(repeat(field("annotation", $.store_annotation)), $.handler)),
         "}",
       ),
     // v0.131: `cors { <name>: <value>, … }`. `cors` is a contextual keyword (like
@@ -821,7 +840,13 @@ module.exports = grammar({
         // v0.81 (storage track): the agent's `store` fields (ADR 0108).
         repeat($.store_field),
         repeat(choice($.invariant_decl, $.transition_decl)),
-        repeat($.handler),
+        // v0.140 (ADR 0163): handler-position annotations parse uniformly on
+        // agent handlers too; the checker (not the grammar) restricts which
+        // annotations apply to a non-HTTP handler. Only `on call` is a valid
+        // agent handler (`bynk.parse.handler_in_agent` rejects the rest) —
+        // protocol handlers (HTTP routes, cron, queue, WebSocket, events)
+        // belong on a `service`.
+        repeat(seq(repeat(field("annotation", $.store_annotation)), $.call_handler)),
         "}",
       ),
     // v0.80: an agent invariant — `invariant <name>: <predicate>`. Sits between
@@ -1350,8 +1375,12 @@ module.exports = grammar({
           optional(","),
         ),
       ),
+    // v1 (#472) admits only a wildcard `_` as the refined inner form —
+    // `parse_pattern_where_suffix` rejects anything else with
+    // `bynk.parse.refined_pattern_inner` ("a refined pattern's inner form
+    // must be `_` in this version"); binding a refined value is unbuilt.
     refined_pattern: ($) =>
-      seq(field("inner", $._pattern), "where", field("predicate", $.refinement)),
+      seq(field("inner", $.wildcard_pattern), "where", field("predicate", $.refinement)),
 
     _pattern: ($) =>
       choice(

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "tree-sitter-bynk",
-  "version": "0.245.0",
-  "description": "Tree-sitter grammar for the Bynk DSL (v0–v0.16).",
+  "version": "0.303.4",
+  "description": "Tree-sitter grammar for the Bynk language.",
   "main": "bindings/node",
   "types": "bindings/node",
   "keywords": [
@@ -39,7 +39,7 @@
   },
   "devDependencies": {
     "prebuildify": "^6.0.0",
-    "tree-sitter-cli": "^0.26.9"
+    "tree-sitter-cli": "^0.27.0"
   },
   "tree-sitter": [
     {

package/src/grammar.json

@@ -1661,12 +1661,46 @@
       "type": "CHOICE",
       "members": [
         {
-          "type": "SYMBOL",
-          "name": "number_literal"
+          "type": "SEQ",
+          "members": [
+            {
+              "type": "CHOICE",
+              "members": [
+                {
+                  "type": "STRING",
+                  "value": "-"
+                },
+                {
+                  "type": "BLANK"
+                }
+              ]
+            },
+            {
+              "type": "SYMBOL",
+              "name": "number_literal"
+            }
+          ]
         },
         {
-          "type": "SYMBOL",
-          "name": "float_literal"
+          "type": "SEQ",
+          "members": [
+            {
+              "type": "CHOICE",
+              "members": [
+                {
+                  "type": "STRING",
+                  "value": "-"
+                },
+                {
+                  "type": "BLANK"
+                }
+              ]
+            },
+            {
+              "type": "SYMBOL",
+              "name": "float_literal"
+            }
+          ]
         },
         {
           "type": "SYMBOL",
@@ -2907,8 +2941,24 @@
         {
           "type": "REPEAT",
           "content": {
-            "type": "SYMBOL",
-            "name": "handler"
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "REPEAT",
+                "content": {
+                  "type": "FIELD",
+                  "name": "annotation",
+                  "content": {
+                    "type": "SYMBOL",
+                    "name": "store_annotation"
+                  }
+                }
+              },
+              {
+                "type": "SYMBOL",
+                "name": "handler"
+              }
+            ]
           }
         },
         {
@@ -3517,8 +3567,24 @@
         {
           "type": "REPEAT",
           "content": {
-            "type": "SYMBOL",
-            "name": "handler"
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "REPEAT",
+                "content": {
+                  "type": "FIELD",
+                  "name": "annotation",
+                  "content": {
+                    "type": "SYMBOL",
+                    "name": "store_annotation"
+                  }
+                }
+              },
+              {
+                "type": "SYMBOL",
+                "name": "call_handler"
+              }
+            ]
           }
         },
         {
@@ -6326,7 +6392,7 @@
           "name": "inner",
           "content": {
             "type": "SYMBOL",
-            "name": "_pattern"
+            "name": "wildcard_pattern"
           }
         },
         {
@@ -8126,6 +8192,9 @@
     [
       "observation_expr",
       "_primary"
+    ],
+    [
+      "store_field"
     ]
   ],
   "precedences": [],

package/src/node-types.json

@@ -287,6 +287,16 @@
     "type": "agent_decl",
     "named": true,
     "fields": {
+      "annotation": {
+        "multiple": true,
+        "required": false,
+        "types": [
+          {
+            "type": "store_annotation",
+            "named": true
+          }
+        ]
+      },
       "key": {
         "multiple": false,
         "required": true,
@@ -313,7 +323,7 @@
       "required": false,
       "types": [
         {
-          "type": "handler",
+          "type": "call_handler",
           "named": true
         },
         {
@@ -7837,22 +7847,6 @@
         "multiple": false,
         "required": true,
         "types": [
-          {
-            "type": "literal_pattern",
-            "named": true
-          },
-          {
-            "type": "or_pattern",
-            "named": true
-          },
-          {
-            "type": "paren_pattern",
-            "named": true
-          },
-          {
-            "type": "variant_pattern",
-            "named": true
-          },
           {
             "type": "wildcard_pattern",
             "named": true
@@ -8307,6 +8301,16 @@
     "type": "service_decl",
     "named": true,
     "fields": {
+      "annotation": {
+        "multiple": true,
+        "required": false,
+        "types": [
+          {
+            "type": "store_annotation",
+            "named": true
+          }
+        ]
+      },
       "cors": {
         "multiple": false,
         "required": false,