tree-sitter-bynk 0.313.0 → 0.330.4

package/grammar.js

@@ -41,7 +41,7 @@ module.exports = grammar({
 
   externals: ($) => [$.doc_block],
 
-  extras: ($) => [/\s+/, $.line_comment, $.doc_block],
+  extras: ($) => [/\s+/, $.doc_line, $.line_comment, $.doc_block],
 
   // The DSL allows reserved words to be referenced inside specific rules via
   // tokens; we declare keywords so they take precedence over `identifier`.
@@ -201,6 +201,7 @@ module.exports = grammar({
         $.agent_decl,
         $.actor_decl,
         $.event_decl,
+        $.asset_decl,
       ),
 
     _context_body_item: ($) =>
@@ -217,6 +218,7 @@ module.exports = grammar({
         $.actor_decl,
         $.messages_decl,
         $.event_decl,
+        $.asset_decl,
       ),
 
     // v0.17: adapter items — a binding clause, capabilities, boundary types,
@@ -239,6 +241,7 @@ module.exports = grammar({
         $.actor_decl,
         $.messages_decl,
         $.event_decl,
+        $.asset_decl,
       ),
 
     _test_body_item: ($) =>
@@ -368,6 +371,21 @@ module.exports = grammar({
         field("body", $.record_type),
       ),
 
+    // #1883 (static assets), slice 1a: `asset name = "path"` — one static
+    // file the platform serves. Admitted in every body (commons, context,
+    // adapter) like `event`; placement is a checker concern
+    // (`bynk.asset.outside_context_or_commons` rejects it in an adapter).
+    asset_decl: ($) =>
+      seq(
+        "asset",
+        field("name", $.identifier),
+        "=",
+        field("path", $.string_literal),
+        // #1883, slice 2: an optional fixed URL path. `at` is contextual,
+        // matched only here (the `word` rule keeps it an identifier elsewhere).
+        optional(seq("at", field("at", $.string_literal))),
+      ),
+
     // v0.154 (ADR 0178): a sum body may carry a trailing `embeds E as V, …`
     // clause declaring error embeddings the `?` operator auto-converts.
     // `embeds`/`as` are contextual — matched only in this position.
@@ -1295,7 +1313,14 @@ module.exports = grammar({
     // call throws. `faults` is contextual (an ordinary identifier elsewhere),
     // mirroring the compiler's trailing-word parse; an expression is never
     // followed by a bare identifier, so the word alone decides.
-    faults_expr: ($) => seq(field("call", $._expression), "faults"),
+    // #1812: an optional call-site actor sits between the call and `faults`,
+    // in the same position as on an effect-let (`by User("bob")`).
+    faults_expr: ($) =>
+      seq(
+        field("call", $._expression),
+        optional(field("principal", $.call_site_actor)),
+        "faults",
+      ),
 
     // v0.117: an observation — a `Cap.op` seam reference followed by one of the
     // sugar matchers. `called` / `never` / `once` / `times` / `with` / `before`
@@ -1686,6 +1711,13 @@ module.exports = grammar({
     // dash sequence that's already been gobbled by the external scanner).
     line_comment: () => token(seq("--", /[^\n]*/)),
 
+    // #1888: a `--|` one-line doc. Both it and `line_comment` match a
+    // `--|` line to its end, so the higher lexical precedence makes it a
+    // doc. The compiler takes `--|` as a doc only when it is the first thing
+    // on its line; an extras token cannot see that, so a `--|` after code on
+    // the same line highlights as a doc here though it compiles as a comment.
+    doc_line: () => token(prec(1, seq("--|", /[^\n]*/))),
+
     // `doc_block` is provided by the external scanner — see src/scanner.c.
     // The grammar references it via the `externals` array above.
   },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tree-sitter-bynk",
-  "version": "0.313.0",
+  "version": "0.330.4",
   "description": "Tree-sitter grammar for the Bynk language.",
   "main": "bindings/node",
   "types": "bindings/node",

package/queries/highlights.scm

@@ -57,6 +57,7 @@
   "ensures"
   "messages"
   "event"
+  "asset"
 ] @keyword.declaration
 
 [
@@ -240,6 +241,7 @@
 
 (line_comment) @comment
 (doc_block) @comment.documentation
+(doc_line) @comment.documentation
 
 ; -- Errors (tree-sitter recovery) --
 

package/src/grammar.json

@@ -410,6 +410,10 @@
         {
           "type": "SYMBOL",
           "name": "event_decl"
+        },
+        {
+          "type": "SYMBOL",
+          "name": "asset_decl"
         }
       ]
     },
@@ -463,6 +467,10 @@
         {
           "type": "SYMBOL",
           "name": "event_decl"
+        },
+        {
+          "type": "SYMBOL",
+          "name": "asset_decl"
         }
       ]
     },
@@ -520,6 +528,10 @@
         {
           "type": "SYMBOL",
           "name": "event_decl"
+        },
+        {
+          "type": "SYMBOL",
+          "name": "asset_decl"
         }
       ]
     },
@@ -1246,6 +1258,60 @@
         }
       ]
     },
+    "asset_decl": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "asset"
+        },
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": "="
+        },
+        {
+          "type": "FIELD",
+          "name": "path",
+          "content": {
+            "type": "SYMBOL",
+            "name": "string_literal"
+          }
+        },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "SEQ",
+              "members": [
+                {
+                  "type": "STRING",
+                  "value": "at"
+                },
+                {
+                  "type": "FIELD",
+                  "name": "at",
+                  "content": {
+                    "type": "SYMBOL",
+                    "name": "string_literal"
+                  }
+                }
+              ]
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        }
+      ]
+    },
     "sum_type": {
       "type": "PREC_RIGHT",
       "value": 0,
@@ -6052,6 +6118,22 @@
             "name": "_expression"
           }
         },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "FIELD",
+              "name": "principal",
+              "content": {
+                "type": "SYMBOL",
+                "name": "call_site_actor"
+              }
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
         {
           "type": "STRING",
           "value": "faults"
@@ -8173,6 +8255,26 @@
           }
         ]
       }
+    },
+    "doc_line": {
+      "type": "TOKEN",
+      "content": {
+        "type": "PREC",
+        "value": 1,
+        "content": {
+          "type": "SEQ",
+          "members": [
+            {
+              "type": "STRING",
+              "value": "--|"
+            },
+            {
+              "type": "PATTERN",
+              "value": "[^\\n]*"
+            }
+          ]
+        }
+      }
     }
   },
   "extras": [
@@ -8180,6 +8282,10 @@
       "type": "PATTERN",
       "value": "\\s+"
     },
+    {
+      "type": "SYMBOL",
+      "name": "doc_line"
+    },
     {
       "type": "SYMBOL",
       "name": "line_comment"

package/src/node-types.json

@@ -236,6 +236,10 @@
           "type": "agent_decl",
           "named": true
         },
+        {
+          "type": "asset_decl",
+          "named": true
+        },
         {
           "type": "binding_decl",
           "named": true
@@ -537,6 +541,42 @@
       }
     }
   },
+  {
+    "type": "asset_decl",
+    "named": true,
+    "fields": {
+      "at": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "string_literal",
+            "named": true
+          }
+        ]
+      },
+      "name": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "identifier",
+            "named": true
+          }
+        ]
+      },
+      "path": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "string_literal",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "assign_stmt",
     "named": true,
@@ -1809,6 +1849,10 @@
           "type": "agent_decl",
           "named": true
         },
+        {
+          "type": "asset_decl",
+          "named": true
+        },
         {
           "type": "capability_decl",
           "named": true
@@ -1907,6 +1951,10 @@
           "type": "agent_decl",
           "named": true
         },
+        {
+          "type": "asset_decl",
+          "named": true
+        },
         {
           "type": "capability_decl",
           "named": true
@@ -3612,6 +3660,16 @@
             "named": true
           }
         ]
+      },
+      "principal": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "call_site_actor",
+            "named": true
+          }
+        ]
       }
     }
   },
@@ -8958,6 +9016,10 @@
           "type": "agent_decl",
           "named": true
         },
+        {
+          "type": "asset_decl",
+          "named": true
+        },
         {
           "type": "assign_stmt",
           "named": true
@@ -11271,6 +11333,14 @@
     "type": "as",
     "named": false
   },
+  {
+    "type": "asset",
+    "named": false
+  },
+  {
+    "type": "at",
+    "named": false
+  },
   {
     "type": "auth",
     "named": false
@@ -11344,6 +11414,11 @@
     "named": true,
     "extra": true
   },
+  {
+    "type": "doc_line",
+    "named": true,
+    "extra": true
+  },
   {
     "type": "each",
     "named": false