tree-sitter-bynk 0.309.4 → 0.314.23

package/grammar.js

@@ -1285,9 +1285,18 @@ module.exports = grammar({
     expect_expr: ($) =>
       prec.right(
         PREC.expect,
-        seq("expect", field("cond", choice($.observation_expr, $._expression))),
+        seq(
+          "expect",
+          field("cond", choice($.observation_expr, $.faults_expr, $._expression)),
+        ),
       ),
 
+    // #1706: a fault claim — `expect <call> faults` holds when awaiting the
+    // 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"),
+
     // v0.117: an observation — a `Cap.op` seam reference followed by one of the
     // sugar matchers. `called` / `never` / `once` / `times` / `with` / `before`
     // are contextual (state-lexed as keywords only here; ordinary identifiers

package/package.json

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

package/queries/highlights.scm

@@ -98,6 +98,10 @@
   "fails"
 ] @keyword.operator
 
+; #1706: the fault-claim word — contextual, like the observation words: the
+; token exists only inside a `faults_expr`.
+"faults" @keyword.operator
+
 ; v0.117: the `trace(Cap.op)` escape hatch — a test-only builtin.
 "trace" @keyword
 

package/src/grammar.json

@@ -6027,6 +6027,10 @@
                   "type": "SYMBOL",
                   "name": "observation_expr"
                 },
+                {
+                  "type": "SYMBOL",
+                  "name": "faults_expr"
+                },
                 {
                   "type": "SYMBOL",
                   "name": "_expression"
@@ -6037,6 +6041,23 @@
         ]
       }
     },
+    "faults_expr": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "FIELD",
+          "name": "call",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": "faults"
+        }
+      ]
+    },
     "observation_expr": {
       "type": "SEQ",
       "members": [

package/src/node-types.json

@@ -3337,6 +3337,10 @@
             "type": "expect_expr",
             "named": true
           },
+          {
+            "type": "faults_expr",
+            "named": true
+          },
           {
             "type": "field_access",
             "named": true
@@ -3475,6 +3479,142 @@
       }
     }
   },
+  {
+    "type": "faults_expr",
+    "named": true,
+    "fields": {
+      "call": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "binary_expr",
+            "named": true
+          },
+          {
+            "type": "block",
+            "named": true
+          },
+          {
+            "type": "boolean_literal",
+            "named": true
+          },
+          {
+            "type": "call",
+            "named": true
+          },
+          {
+            "type": "effect_pure_expr",
+            "named": true
+          },
+          {
+            "type": "err_expr",
+            "named": true
+          },
+          {
+            "type": "expect_expr",
+            "named": true
+          },
+          {
+            "type": "field_access",
+            "named": true
+          },
+          {
+            "type": "float_literal",
+            "named": true
+          },
+          {
+            "type": "identifier",
+            "named": true
+          },
+          {
+            "type": "if_expr",
+            "named": true
+          },
+          {
+            "type": "is_expr",
+            "named": true
+          },
+          {
+            "type": "lambda_expr",
+            "named": true
+          },
+          {
+            "type": "list_literal",
+            "named": true
+          },
+          {
+            "type": "match_expr",
+            "named": true
+          },
+          {
+            "type": "method_call",
+            "named": true
+          },
+          {
+            "type": "none_expr",
+            "named": true
+          },
+          {
+            "type": "number_literal",
+            "named": true
+          },
+          {
+            "type": "ok_expr",
+            "named": true
+          },
+          {
+            "type": "paren_expr",
+            "named": true
+          },
+          {
+            "type": "question_expr",
+            "named": true
+          },
+          {
+            "type": "record_construction",
+            "named": true
+          },
+          {
+            "type": "record_spread",
+            "named": true
+          },
+          {
+            "type": "self_expr",
+            "named": true
+          },
+          {
+            "type": "some_expr",
+            "named": true
+          },
+          {
+            "type": "string_literal",
+            "named": true
+          },
+          {
+            "type": "trace_expr",
+            "named": true
+          },
+          {
+            "type": "unary_expr",
+            "named": true
+          },
+          {
+            "type": "unit_literal",
+            "named": true
+          },
+          {
+            "type": "val_expr",
+            "named": true
+          },
+          {
+            "type": "wire_expr",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "field_access",
     "named": true,
@@ -11244,6 +11384,10 @@
     "type": "false",
     "named": false
   },
+  {
+    "type": "faults",
+    "named": false
+  },
   {
     "type": "float_literal",
     "named": true