tree-sitter-bynk 0.562.0 → 0.606.0

package/grammar.js

@@ -818,6 +818,9 @@ module.exports = grammar({
         ")",
         "->",
         field("return_type", $._type_ref),
+        // #3458: internal `@name(arg)` annotations (a first-party typed read's
+        // failure policy); the checker refuses them outside the std library.
+        repeat(field("annotation", $.store_annotation)),
       ),
 
     // message-bundles track, slice 1 (#859): `messages "<tag>" @reference {
@@ -1361,7 +1364,8 @@ module.exports = grammar({
     // The closed, compiler-known scheme set. `None`/`Internal` are zero-crypto;
     // `Bearer` (JWT/HS256), `Signature` (HMAC over the body), and `Oidc`
     // (JWKS/RS256+ES256) are compiler-generated verifiers.
-    scheme: () => choice("None", "Internal", "Bearer", "Signature", "Oidc", "Foreign"),
+    scheme: () =>
+      choice("None", "Internal", "Bearer", "Signature", "Oidc", "Foreign", "SignedCookie"),
     // v0.51: the keyed-args scheme config — `(key = value, …)`. Values are
     // string or integer literals; the checker validates which keys each scheme
     // admits (Bearer: secret; Signature: secret/header/timestamp/tolerance).
@@ -1371,11 +1375,23 @@ module.exports = grammar({
         sep1($.scheme_arg, ","),
         ")",
       ),
+    // #3386: `12.hours` in a scheme config.
+    scheme_duration: ($) => seq($.number_literal, ".", $.identifier),
     scheme_arg: ($) =>
       seq(
         field("key", $.identifier),
         "=",
-        field("value", choice($.string_literal, $.number_literal)),
+        field(
+          "value",
+          choice(
+            $.string_literal,
+            $.number_literal,
+            // #3386: a duration (`ttl = 12.hours`) or a bare variant name
+            // (`sameSite = Lax`).
+            $.scheme_duration,
+            $.identifier,
+          ),
+        ),
       ),
     // v0.45: the handler `by <binder>: <Actor>` clause — sits after the protocol
     // config and before the parameters.
@@ -1506,7 +1522,6 @@ module.exports = grammar({
         $.let_stmt,
         $.effect_let_stmt,
         $.let_else_stmt,
-        $.effect_send_stmt,
         $.do_stmt,
         $.assign_stmt,
         $.advance_stmt,
@@ -1626,8 +1641,6 @@ module.exports = grammar({
         ),
         ),
       ),
-    // v0.79: `~> expr` — an asynchronous fire-and-forget send (no binder).
-    effect_send_stmt: ($) => seq("~>", field("value", $._expression)),
     // v0.146 (ADR 0170): `do expr` — perform a unit effect as a statement
     // (the binder-free `let _ <- expr` for an `Effect[()]`).
     do_stmt: ($) => seq("do", field("value", $._expression)),
@@ -1663,7 +1676,6 @@ module.exports = grammar({
       choice(
         $.let_stmt,
         $.effect_let_stmt,
-        $.effect_send_stmt,
         $.do_stmt,
         $.assign_stmt,
         $.advance_stmt,

package/package.json

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

package/queries/highlights.scm

@@ -264,7 +264,7 @@
   "+" "-" "*" "/"
   "==" "!=" "<" "<=" ">" ">="
   "&&" "||" "!"
-  "<-" "~>" ":=" "->" "=" "?"
+  "<-" ":=" "->" "=" "?"
   ".."
 ] @operator
 

package/src/grammar.json

@@ -3320,6 +3320,17 @@
             "type": "SYMBOL",
             "name": "_type_ref"
           }
+        },
+        {
+          "type": "REPEAT",
+          "content": {
+            "type": "FIELD",
+            "name": "annotation",
+            "content": {
+              "type": "SYMBOL",
+              "name": "store_annotation"
+            }
+          }
         }
       ]
     },
@@ -6225,6 +6236,10 @@
         {
           "type": "STRING",
           "value": "Foreign"
+        },
+        {
+          "type": "STRING",
+          "value": "SignedCookie"
         }
       ]
     },
@@ -6266,6 +6281,23 @@
         }
       ]
     },
+    "scheme_duration": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "SYMBOL",
+          "name": "number_literal"
+        },
+        {
+          "type": "STRING",
+          "value": "."
+        },
+        {
+          "type": "SYMBOL",
+          "name": "identifier"
+        }
+      ]
+    },
     "scheme_arg": {
       "type": "SEQ",
       "members": [
@@ -6294,6 +6326,14 @@
               {
                 "type": "SYMBOL",
                 "name": "number_literal"
+              },
+              {
+                "type": "SYMBOL",
+                "name": "scheme_duration"
+              },
+              {
+                "type": "SYMBOL",
+                "name": "identifier"
               }
             ]
           }
@@ -6980,10 +7020,6 @@
           "type": "SYMBOL",
           "name": "let_else_stmt"
         },
-        {
-          "type": "SYMBOL",
-          "name": "effect_send_stmt"
-        },
         {
           "type": "SYMBOL",
           "name": "do_stmt"
@@ -7689,23 +7725,6 @@
         }
       }
     },
-    "effect_send_stmt": {
-      "type": "SEQ",
-      "members": [
-        {
-          "type": "STRING",
-          "value": "~>"
-        },
-        {
-          "type": "FIELD",
-          "name": "value",
-          "content": {
-            "type": "SYMBOL",
-            "name": "_expression"
-          }
-        }
-      ]
-    },
     "do_stmt": {
       "type": "SEQ",
       "members": [
@@ -7821,10 +7840,6 @@
           "type": "SYMBOL",
           "name": "effect_let_stmt"
         },
-        {
-          "type": "SYMBOL",
-          "name": "effect_send_stmt"
-        },
         {
           "type": "SYMBOL",
           "name": "do_stmt"

package/src/node-types.json

@@ -1286,10 +1286,6 @@
           "type": "effect_let_stmt",
           "named": true
         },
-        {
-          "type": "effect_send_stmt",
-          "named": true
-        },
         {
           "type": "expect_expr",
           "named": true
@@ -1948,6 +1944,16 @@
     "type": "capability_op",
     "named": true,
     "fields": {
+      "annotation": {
+        "multiple": true,
+        "required": false,
+        "types": [
+          {
+            "type": "store_annotation",
+            "named": true
+          }
+        ]
+      },
       "name": {
         "multiple": false,
         "required": true,
@@ -2201,10 +2207,6 @@
           "type": "effect_let_stmt",
           "named": true
         },
-        {
-          "type": "effect_send_stmt",
-          "named": true
-        },
         {
           "type": "env_clause",
           "named": true
@@ -3395,146 +3397,6 @@
       ]
     }
   },
-  {
-    "type": "effect_send_stmt",
-    "named": true,
-    "fields": {
-      "value": {
-        "multiple": false,
-        "required": true,
-        "types": [
-          {
-            "type": "binary_expr",
-            "named": true
-          },
-          {
-            "type": "block",
-            "named": true
-          },
-          {
-            "type": "boolean_literal",
-            "named": true
-          },
-          {
-            "type": "call",
-            "named": true
-          },
-          {
-            "type": "decimal_literal",
-            "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": "embed_decl",
     "named": true,
@@ -8717,10 +8579,6 @@
           "type": "effect_let_stmt",
           "named": true
         },
-        {
-          "type": "effect_send_stmt",
-          "named": true
-        },
         {
           "type": "expect_expr",
           "named": true
@@ -10295,10 +10153,18 @@
         "multiple": false,
         "required": true,
         "types": [
+          {
+            "type": "identifier",
+            "named": true
+          },
           {
             "type": "number_literal",
             "named": true
           },
+          {
+            "type": "scheme_duration",
+            "named": true
+          },
           {
             "type": "string_literal",
             "named": true
@@ -10322,6 +10188,25 @@
       ]
     }
   },
+  {
+    "type": "scheme_duration",
+    "named": true,
+    "fields": {},
+    "children": {
+      "multiple": true,
+      "required": true,
+      "types": [
+        {
+          "type": "identifier",
+          "named": true
+        },
+        {
+          "type": "number_literal",
+          "named": true
+        }
+      ]
+    }
+  },
   {
     "type": "security_field",
     "named": true,
@@ -11236,10 +11121,6 @@
           "type": "effect_let_stmt",
           "named": true
         },
-        {
-          "type": "effect_send_stmt",
-          "named": true
-        },
         {
           "type": "embed_decl",
           "named": true
@@ -13832,6 +13713,10 @@
     "type": "Signature",
     "named": false
   },
+  {
+    "type": "SignedCookie",
+    "named": false
+  },
   {
     "type": "Some",
     "named": false
@@ -14350,9 +14235,5 @@
   {
     "type": "}",
     "named": false
-  },
-  {
-    "type": "~>",
-    "named": false
   }
 ]