tree-sitter-bynk 0.78.0 → 0.80.0

package/grammar.js

@@ -23,15 +23,17 @@
 
 const PREC = {
   assert: 0,
-  or: 1,
-  and: 2,
-  is: 3,
-  cmp: 4,
-  rel: 5,
-  add: 6,
-  mul: 7,
-  unary: 8,
-  postfix: 9,
+  // v0.80: `implies` is the lowest-precedence binary operator (below `||`).
+  implies: 1,
+  or: 2,
+  and: 3,
+  is: 4,
+  cmp: 5,
+  rel: 6,
+  add: 7,
+  mul: 8,
+  unary: 9,
+  postfix: 10,
 };
 
 module.exports = grammar({
@@ -549,9 +551,19 @@ module.exports = grammar({
         "{",
         field("key", $.key_decl),
         field("state", $.state_decl),
+        repeat($.invariant_decl),
         repeat($.handler),
         "}",
       ),
+    // v0.80: an agent invariant — `invariant <name>: <predicate>`. Sits between
+    // the state block and the handlers.
+    invariant_decl: ($) =>
+      seq(
+        "invariant",
+        field("name", $.identifier),
+        ":",
+        field("predicate", $._expression),
+      ),
     key_decl: ($) =>
       seq("key", field("name", $.identifier), ":", field("type", $._type_ref)),
     state_decl: ($) =>
@@ -730,7 +742,13 @@ module.exports = grammar({
     // `assert` is an expression (v0.9.1) but also appears in statement
     // position within a test body (an expression-statement of type `()`).
     _statement: ($) =>
-      choice($.let_stmt, $.effect_let_stmt, $.commit_stmt, prec(1, $.assert_expr)),
+      choice(
+        $.let_stmt,
+        $.effect_let_stmt,
+        $.effect_send_stmt,
+        $.commit_stmt,
+        prec(1, $.assert_expr),
+      ),
 
     let_stmt: ($) =>
       seq(
@@ -748,6 +766,8 @@ module.exports = grammar({
         "<-",
         field("value", $._expression),
       ),
+    // v0.79: `~> expr` — an asynchronous fire-and-forget send (no binder).
+    effect_send_stmt: ($) => seq("~>", field("value", $._expression)),
     commit_stmt: ($) => seq("commit", field("value", $._expression)),
 
     // A let/effect-let may bind the discard name `_`.
@@ -840,6 +860,8 @@ module.exports = grammar({
 
     binary_expr: ($) =>
       choice(
+        // v0.80: `P implies Q` — right-associative, lowest precedence.
+        prec.right(PREC.implies, seq($._expression, "implies", $._expression)),
         prec.left(PREC.or, seq($._expression, "||", $._expression)),
         prec.left(PREC.and, seq($._expression, "&&", $._expression)),
         prec.left(PREC.cmp, seq($._expression, choice("==", "!="), $._expression)),

package/package.json

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

package/queries/highlights.scm

@@ -46,6 +46,7 @@
   "mocks"
   "integration"
   "wires"
+  "invariant"
 ] @keyword.declaration
 
 [
@@ -56,6 +57,7 @@
 [
   "where"
   "and"
+  "implies"
   "enum"
 ] @keyword.operator
 
@@ -151,7 +153,7 @@
   "+" "-" "*" "/"
   "==" "!=" "<" "<=" ">" ">="
   "&&" "||" "!"
-  "<-" "->" "=" "?"
+  "<-" "~>" "->" "=" "?"
 ] @operator
 
 [

package/src/grammar.json

@@ -2461,6 +2461,13 @@
             "name": "state_decl"
           }
         },
+        {
+          "type": "REPEAT",
+          "content": {
+            "type": "SYMBOL",
+            "name": "invariant_decl"
+          }
+        },
         {
           "type": "REPEAT",
           "content": {
@@ -2474,6 +2481,35 @@
         }
       ]
     },
+    "invariant_decl": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "invariant"
+        },
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": ":"
+        },
+        {
+          "type": "FIELD",
+          "name": "predicate",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        }
+      ]
+    },
     "key_decl": {
       "type": "SEQ",
       "members": [
@@ -3577,6 +3613,10 @@
           "type": "SYMBOL",
           "name": "effect_let_stmt"
         },
+        {
+          "type": "SYMBOL",
+          "name": "effect_send_stmt"
+        },
         {
           "type": "SYMBOL",
           "name": "commit_stmt"
@@ -3699,6 +3739,23 @@
         }
       ]
     },
+    "effect_send_stmt": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "~>"
+        },
+        {
+          "type": "FIELD",
+          "name": "value",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        }
+      ]
+    },
     "commit_stmt": {
       "type": "SEQ",
       "members": [
@@ -4094,7 +4151,7 @@
     },
     "is_expr": {
       "type": "PREC_LEFT",
-      "value": 3,
+      "value": 4,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4125,7 +4182,7 @@
       "type": "CHOICE",
       "members": [
         {
-          "type": "PREC_LEFT",
+          "type": "PREC_RIGHT",
           "value": 1,
           "content": {
             "type": "SEQ",
@@ -4136,7 +4193,7 @@
               },
               {
                 "type": "STRING",
-                "value": "||"
+                "value": "implies"
               },
               {
                 "type": "SYMBOL",
@@ -4148,6 +4205,27 @@
         {
           "type": "PREC_LEFT",
           "value": 2,
+          "content": {
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "SYMBOL",
+                "name": "_expression"
+              },
+              {
+                "type": "STRING",
+                "value": "||"
+              },
+              {
+                "type": "SYMBOL",
+                "name": "_expression"
+              }
+            ]
+          }
+        },
+        {
+          "type": "PREC_LEFT",
+          "value": 3,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4168,7 +4246,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 4,
+          "value": 5,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4198,7 +4276,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 5,
+          "value": 6,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4236,7 +4314,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 6,
+          "value": 7,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4266,7 +4344,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 7,
+          "value": 8,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4298,7 +4376,7 @@
     },
     "unary_expr": {
       "type": "PREC_RIGHT",
-      "value": 8,
+      "value": 9,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4543,7 +4621,7 @@
     },
     "method_call": {
       "type": "PREC_LEFT",
-      "value": 10,
+      "value": 11,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4687,7 +4765,7 @@
     },
     "field_access": {
       "type": "PREC_LEFT",
-      "value": 9,
+      "value": 10,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4716,7 +4794,7 @@
     },
     "call": {
       "type": "PREC_LEFT",
-      "value": 9,
+      "value": 10,
       "content": {
         "type": "SEQ",
         "members": [
@@ -5142,7 +5220,7 @@
     },
     "question_expr": {
       "type": "PREC_LEFT",
-      "value": 9,
+      "value": 10,
       "content": {
         "type": "SEQ",
         "members": [
@@ -5569,5 +5647,6 @@
     }
   ],
   "inline": [],
-  "supertypes": []
-}
+  "supertypes": [],
+  "reserved": {}
+}

package/src/node-types.json

@@ -193,6 +193,10 @@
         {
           "type": "handler",
           "named": true
+        },
+        {
+          "type": "invariant_decl",
+          "named": true
         }
       ]
     }
@@ -652,6 +656,10 @@
           "type": "effect_let_stmt",
           "named": true
         },
+        {
+          "type": "effect_send_stmt",
+          "named": true
+        },
         {
           "type": "let_stmt",
           "named": true
@@ -1691,6 +1699,134 @@
       ]
     }
   },
+  {
+    "type": "effect_send_stmt",
+    "named": true,
+    "fields": {
+      "value": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "assert_expr",
+            "named": true
+          },
+          {
+            "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": "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": "mock_expr",
+            "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": "unary_expr",
+            "named": true
+          },
+          {
+            "type": "unit_literal",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "enum_type",
     "named": true,
@@ -2668,6 +2804,144 @@
       ]
     }
   },
+  {
+    "type": "invariant_decl",
+    "named": true,
+    "fields": {
+      "name": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "identifier",
+            "named": true
+          }
+        ]
+      },
+      "predicate": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "assert_expr",
+            "named": true
+          },
+          {
+            "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": "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": "mock_expr",
+            "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": "unary_expr",
+            "named": true
+          },
+          {
+            "type": "unit_literal",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "is_expr",
     "named": true,
@@ -5715,6 +5989,10 @@
           "type": "effect_let_stmt",
           "named": true
         },
+        {
+          "type": "effect_send_stmt",
+          "named": true
+        },
         {
           "type": "exports_decl",
           "named": true
@@ -6620,7 +6898,8 @@
   },
   {
     "type": "doc_block",
-    "named": true
+    "named": true,
+    "extra": true
   },
   {
     "type": "else",
@@ -6670,10 +6949,18 @@
     "type": "if",
     "named": false
   },
+  {
+    "type": "implies",
+    "named": false
+  },
   {
     "type": "integration",
     "named": false
   },
+  {
+    "type": "invariant",
+    "named": false
+  },
   {
     "type": "is",
     "named": false
@@ -6688,7 +6975,8 @@
   },
   {
     "type": "line_comment",
-    "named": true
+    "named": true,
+    "extra": true
   },
   {
     "type": "match",
@@ -6797,5 +7085,9 @@
   {
     "type": "}",
     "named": false
+  },
+  {
+    "type": "~>",
+    "named": false
   }
 ]