tree-sitter-bynk 0.129.0 → 0.132.0

package/grammar.js

@@ -541,9 +541,24 @@ module.exports = grammar({
         field("name", $.identifier),
         optional(field("protocol", $.service_protocol)),
         "{",
+        // v0.131 (ADR 0158): the optional `cors { }` policy, in header position
+        // before the handlers (a `from http` concern; the checker restricts it).
+        optional(field("cors", $.cors_policy)),
         repeat($.handler),
         "}",
       ),
+    // v0.131: `cors { <name>: <value>, … }`. `cors` is a contextual keyword (like
+    // `store`/`key` — also a valid identifier); field names are ordinary
+    // identifiers matched against the closed set by the checker.
+    cors_policy: ($) =>
+      seq(
+        "cors",
+        "{",
+        repeat(seq($.cors_field, optional(","))),
+        "}",
+      ),
+    cors_field: ($) =>
+      seq(field("name", $.identifier), ":", field("value", $._expression)),
     // v0.44: `from <protocol>` on the service header.
     // v0.103: `from WebSocket(in: I, out: O)` binds the inbound/outbound frame
     // types. `WebSocket`, `in`, and `out` are contextual (resolved by `word`).
@@ -1044,8 +1059,17 @@ module.exports = grammar({
         ),
       ),
 
-    _pattern: ($) => choice($.wildcard_pattern, $.variant_pattern),
+    _pattern: ($) =>
+      choice($.wildcard_pattern, $.literal_pattern, $.variant_pattern),
     wildcard_pattern: () => "_",
+    // v0.130 §2.3.4: a literal pattern — an integer (optionally negated), a
+    // string, or a boolean. A closed set (ADR 0001); no `Float`, no `()`.
+    literal_pattern: ($) =>
+      choice(
+        seq(optional("-"), $.number_literal),
+        $.string_literal,
+        $.boolean_literal,
+      ),
     // The variant name is an `identifier`, not `constant_name`: because
     // `word` unifies all word-shaped lexemes to `identifier`, a `constant_name`
     // here can never out-lex `identifier` after `is`/`=>`, which previously

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tree-sitter-bynk",
-  "version": "0.129.0",
+  "version": "0.132.0",
   "description": "Tree-sitter grammar for the Bynk DSL (v0–v0.16).",
   "main": "bindings/node",
   "types": "bindings/node",

package/queries/highlights.scm

@@ -39,6 +39,7 @@
   "service"
   "agent"
   "store"
+  "cors"
   "exports"
   "key"
   "suite"

package/src/grammar.json

@@ -2395,6 +2395,22 @@
           "type": "STRING",
           "value": "{"
         },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "FIELD",
+              "name": "cors",
+              "content": {
+                "type": "SYMBOL",
+                "name": "cors_policy"
+              }
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
         {
           "type": "REPEAT",
           "content": {
@@ -2408,6 +2424,72 @@
         }
       ]
     },
+    "cors_policy": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "cors"
+        },
+        {
+          "type": "STRING",
+          "value": "{"
+        },
+        {
+          "type": "REPEAT",
+          "content": {
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "SYMBOL",
+                "name": "cors_field"
+              },
+              {
+                "type": "CHOICE",
+                "members": [
+                  {
+                    "type": "STRING",
+                    "value": ","
+                  },
+                  {
+                    "type": "BLANK"
+                  }
+                ]
+              }
+            ]
+          }
+        },
+        {
+          "type": "STRING",
+          "value": "}"
+        }
+      ]
+    },
+    "cors_field": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": ":"
+        },
+        {
+          "type": "FIELD",
+          "name": "value",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        }
+      ]
+    },
     "service_protocol": {
       "type": "SEQ",
       "members": [
@@ -5121,6 +5203,10 @@
           "type": "SYMBOL",
           "name": "wildcard_pattern"
         },
+        {
+          "type": "SYMBOL",
+          "name": "literal_pattern"
+        },
         {
           "type": "SYMBOL",
           "name": "variant_pattern"
@@ -5131,6 +5217,40 @@
       "type": "STRING",
       "value": "_"
     },
+    "literal_pattern": {
+      "type": "CHOICE",
+      "members": [
+        {
+          "type": "SEQ",
+          "members": [
+            {
+              "type": "CHOICE",
+              "members": [
+                {
+                  "type": "STRING",
+                  "value": "-"
+                },
+                {
+                  "type": "BLANK"
+                }
+              ]
+            },
+            {
+              "type": "SYMBOL",
+              "name": "number_literal"
+            }
+          ]
+        },
+        {
+          "type": "SYMBOL",
+          "name": "string_literal"
+        },
+        {
+          "type": "SYMBOL",
+          "name": "boolean_literal"
+        }
+      ]
+    },
     "variant_pattern": {
       "type": "PREC_RIGHT",
       "value": 0,

package/src/node-types.json

@@ -1542,6 +1542,163 @@
       ]
     }
   },
+  {
+    "type": "cors_field",
+    "named": true,
+    "fields": {
+      "name": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "identifier",
+            "named": true
+          }
+        ]
+      },
+      "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": "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": "cors_policy",
+    "named": true,
+    "fields": {},
+    "children": {
+      "multiple": true,
+      "required": false,
+      "types": [
+        {
+          "type": "cors_field",
+          "named": true
+        }
+      ]
+    }
+  },
   {
     "type": "cron_handler",
     "named": true,
@@ -3668,6 +3825,10 @@
         "multiple": false,
         "required": true,
         "types": [
+          {
+            "type": "literal_pattern",
+            "named": true
+          },
           {
             "type": "variant_pattern",
             "named": true
@@ -4348,6 +4509,29 @@
       }
     }
   },
+  {
+    "type": "literal_pattern",
+    "named": true,
+    "fields": {},
+    "children": {
+      "multiple": false,
+      "required": true,
+      "types": [
+        {
+          "type": "boolean_literal",
+          "named": true
+        },
+        {
+          "type": "number_literal",
+          "named": true
+        },
+        {
+          "type": "string_literal",
+          "named": true
+        }
+      ]
+    }
+  },
   {
     "type": "match_arm",
     "named": true,
@@ -4482,6 +4666,10 @@
         "multiple": false,
         "required": true,
         "types": [
+          {
+            "type": "literal_pattern",
+            "named": true
+          },
           {
             "type": "variant_pattern",
             "named": true
@@ -6954,6 +7142,16 @@
     "type": "service_decl",
     "named": true,
     "fields": {
+      "cors": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "cors_policy",
+            "named": true
+          }
+        ]
+      },
       "name": {
         "multiple": false,
         "required": true,
@@ -9015,6 +9213,10 @@
     "type": "context",
     "named": false
   },
+  {
+    "type": "cors",
+    "named": false
+  },
   {
     "type": "cron",
     "named": false