@lumis-sh/wasm-tlaplus 0.26.0 → 0.26.1

package/README.md

@@ -43,8 +43,8 @@ one build, so both registries serve the same artifact.
 
 ## CDN
 
-- [https://unpkg.com/@lumis-sh/wasm-tlaplus@0.26.0/tree-sitter-tlaplus.wasm](https://unpkg.com/@lumis-sh/wasm-tlaplus@0.26.0/tree-sitter-tlaplus.wasm)
-- [https://cdn.jsdelivr.net/npm/@lumis-sh/wasm-tlaplus@0.26.0/tree-sitter-tlaplus.wasm](https://cdn.jsdelivr.net/npm/@lumis-sh/wasm-tlaplus@0.26.0/tree-sitter-tlaplus.wasm)
+- [https://unpkg.com/@lumis-sh/wasm-tlaplus@0.26.1/tree-sitter-tlaplus.wasm](https://unpkg.com/@lumis-sh/wasm-tlaplus@0.26.1/tree-sitter-tlaplus.wasm)
+- [https://cdn.jsdelivr.net/npm/@lumis-sh/wasm-tlaplus@0.26.1/tree-sitter-tlaplus.wasm](https://cdn.jsdelivr.net/npm/@lumis-sh/wasm-tlaplus@0.26.1/tree-sitter-tlaplus.wasm)
 
 ## License
 

package/index.d.ts

@@ -6,8 +6,11 @@ export interface Language {
   id: string
   aliases: string[]
   packageName: string
-  /** The parser, which a bundler ships next to your code. */
-  wasm: URL
+  /**
+   * The parser, which a bundler ships next to your code: a `URL`, or a
+   * `WebAssembly.Module` on Cloudflare Workers and Vercel's Edge runtime.
+   */
+  wasm: URL | WebAssembly.Module
   languagePackage: LanguagePackage
   /** Grammars this language cannot highlight without, loaded along with it. */
   requires?: Language[]

package/index.edge.js

@@ -0,0 +1,15 @@
+import { languagePackage } from './language-package.js'
+
+import wasm from './tree-sitter-tlaplus.wasm?module'
+
+export { languagePackage }
+
+export const tlaplus = {
+  id: "tlaplus",
+  aliases: ["tla","tla+","pluscal"],
+  packageName: "@lumis-sh/wasm-tlaplus",
+  wasm,
+  languagePackage,
+}
+
+export default tlaplus

package/index.js

@@ -1,31 +1,8 @@
+import { languagePackage } from './language-package.js'
+
 const wasm = new URL('./tree-sitter-tlaplus.wasm', import.meta.url)
 
-export const languagePackage = {
-  "packageName": "@lumis-sh/wasm-tlaplus",
-  "version": "0.26.0",
-  "definitionHash": "d004df76e24087f92340eb9c857454d64bf7759511741d5e7a6b5bc84d9fe23b",
-  "parser": {
-    "name": "tree-sitter-tlaplus",
-    "grammarName": "tlaplus",
-    "upstreamVersion": "0.0.0",
-    "revision": "add40814fda369f6efd989977b2c498aaddde984",
-    "sha256": "798ef6befd5a9b6435eace5ef1e04559b5bb054cc5e9a233e02e4bc3fd99db2f",
-    "size": 4927432
-  },
-  "languages": {
-    "tlaplus": {
-      "aliases": [
-        "tla",
-        "tla+",
-        "pluscal"
-      ],
-      "highlights": "; This file is auto-generated. Do not edit.\n; Keywords\n[\n  \"ACTION\"\n  \"ASSUME\"\n  \"ASSUMPTION\"\n  \"AXIOM\"\n  \"BY\"\n  \"CASE\"\n  \"CHOOSE\"\n  \"CONSTANT\"\n  \"CONSTANTS\"\n  \"COROLLARY\"\n  \"DEF\"\n  \"DEFINE\"\n  \"DEFS\"\n  \"ELSE\"\n  \"EXCEPT\"\n  \"EXTENDS\"\n  \"HAVE\"\n  \"HIDE\"\n  \"IF\"\n  \"IN\"\n  \"INSTANCE\"\n  \"LAMBDA\"\n  \"LEMMA\"\n  \"LET\"\n  \"LOCAL\"\n  \"MODULE\"\n  \"NEW\"\n  \"OBVIOUS\"\n  \"OMITTED\"\n  \"ONLY\"\n  \"OTHER\"\n  \"PICK\"\n  \"PROOF\"\n  \"PROPOSITION\"\n  \"PROVE\"\n  \"QED\"\n  \"RECURSIVE\"\n  \"SF_\"\n  \"STATE\"\n  \"SUFFICES\"\n  \"TAKE\"\n  \"TEMPORAL\"\n  \"THEN\"\n  \"THEOREM\"\n  \"USE\"\n  \"VARIABLE\"\n  \"VARIABLES\"\n  \"WF_\"\n  \"WITH\"\n  \"WITNESS\"\n  (address)\n  (all_map_to)\n  (assign)\n  (case_arrow)\n  (case_box)\n  (def_eq)\n  (exists)\n  (forall)\n  (gets)\n  (label_as)\n  (maps_to)\n  (set_in)\n  (temporal_exists)\n  (temporal_forall)\n] @keyword\n\n;  Pluscal keywords\n[\n  (pcal_algorithm_start)\n  \"algorithm\"\n  \"assert\"\n  \"begin\"\n  \"call\"\n  \"define\"\n  \"end\"\n  \"fair\"\n  \"goto\"\n  \"macro\"\n  \"or\"\n  \"procedure\"\n  \"process\"\n  (pcal_skip)\n  \"variable\"\n  \"variables\"\n  \"when\"\n  \"with\"\n] @keyword\n\n\"await\" @keyword.coroutine\n\n(pcal_with\n  \"=\" @keyword)\n\n(pcal_process\n  \"=\" @keyword)\n\n[\n  \"if\"\n  \"then\"\n  \"else\"\n  \"elsif\"\n  (pcal_end_if)\n  \"either\"\n  (pcal_end_either)\n] @keyword.conditional\n\n[\n  \"while\"\n  \"do\"\n  (pcal_end_while)\n  \"with\"\n  (pcal_end_with)\n] @keyword.repeat\n\n(pcal_return) @keyword.return\n\n\"print\" @function.macro\n\n; Literals\n(binary_number\n  (format) @keyword)\n\n(binary_number\n  (value) @number)\n\n(boolean) @boolean\n\n(boolean_set) @type\n\n(hex_number\n  (format) @keyword)\n\n(hex_number\n  (value) @number)\n\n(int_number_set) @type\n\n(nat_number) @number\n\n(nat_number_set) @type\n\n(octal_number\n  (format) @keyword)\n\n(octal_number\n  (value) @number)\n\n(real_number) @number\n\n(real_number_set) @type\n\n(string) @string\n\n(escape_char) @string.escape\n\n(string_set) @type\n\n; Namespaces\n(extends\n  (identifier_ref) @module)\n\n(instance\n  (identifier_ref) @module)\n\n(module\n  name: (identifier) @module)\n\n(pcal_algorithm\n  name: (identifier) @module)\n\n; Operators, functions, and macros\n(bound_infix_op\n  symbol: (_) @operator)\n\n(bound_nonfix_op\n  symbol: (_) @operator)\n\n(bound_postfix_op\n  symbol: (_) @operator)\n\n(bound_prefix_op\n  symbol: (_) @operator)\n\n(prefix_op_symbol) @operator\n\n(infix_op_symbol) @operator\n\n(postfix_op_symbol) @operator\n\n(function_definition\n  name: (identifier) @function)\n\n(module_definition\n  name: (_) @keyword.import)\n\n(operator_definition\n  name: (_) @function.macro)\n\n(pcal_macro_decl\n  name: (identifier) @function.macro)\n\n(pcal_macro_call\n  name: (identifier) @function.macro)\n\n(pcal_proc_decl\n  name: (identifier) @function.macro)\n\n(pcal_process\n  name: (identifier) @function)\n\n(recursive_declaration\n  (identifier) @function.macro)\n\n(recursive_declaration\n  (operator_declaration\n    name: (_) @function.macro))\n\n; Constants and variables\n(constant_declaration\n  (identifier) @constant)\n\n(constant_declaration\n  (operator_declaration\n    name: (_) @constant))\n\n(pcal_var_decl\n  (identifier) @variable)\n\n(pcal_with\n  (identifier) @variable.parameter)\n\n(\".\"\n  .\n  (identifier) @attribute)\n\n(record_literal\n  (identifier) @attribute)\n\n(set_of_records\n  (identifier) @attribute)\n\n(variable_declaration\n  (identifier) @variable)\n\n; Parameters\n(choose\n  (identifier) @variable.parameter)\n\n(choose\n  (tuple_of_identifiers\n    (identifier) @variable.parameter))\n\n(lambda\n  (identifier) @variable.parameter)\n\n(module_definition\n  (operator_declaration\n    name: (_) @variable.parameter))\n\n(module_definition\n  parameter: (identifier) @variable.parameter)\n\n(operator_definition\n  (operator_declaration\n    name: (_) @variable.parameter))\n\n(operator_definition\n  parameter: (identifier) @variable.parameter)\n\n(pcal_macro_decl\n  parameter: (identifier) @variable.parameter)\n\n(pcal_proc_var_decl\n  (identifier) @variable.parameter)\n\n(quantifier_bound\n  (identifier) @variable.parameter)\n\n(quantifier_bound\n  (tuple_of_identifiers\n    (identifier) @variable.parameter))\n\n(unbounded_quantification\n  (identifier) @variable.parameter)\n\n; Delimiters\n[\n  (langle_bracket)\n  (rangle_bracket)\n  (rangle_bracket_sub)\n  \"{\"\n  \"}\"\n  \"[\"\n  \"]\"\n  \"]_\"\n  \"(\"\n  \")\"\n] @punctuation.bracket\n\n[\n  \",\"\n  \":\"\n  \".\"\n  \"!\"\n  \";\"\n  (bullet_conj)\n  (bullet_disj)\n  (prev_func_val)\n  (placeholder)\n] @punctuation.delimiter\n\n; Proofs\n(assume_prove\n  (new\n    (identifier) @variable.parameter))\n\n(assume_prove\n  (new\n    (operator_declaration\n      name: (_) @variable.parameter)))\n\n(assumption\n  name: (identifier) @constant)\n\n(pick_proof_step\n  (identifier) @variable.parameter)\n\n(proof_step_id\n  \"<\" @punctuation.bracket)\n\n(proof_step_id\n  (level) @label)\n\n(proof_step_id\n  (name) @label)\n\n(proof_step_id\n  \">\" @punctuation.bracket)\n\n(proof_step_ref\n  \"<\" @punctuation.bracket)\n\n(proof_step_ref\n  (level) @label)\n\n(proof_step_ref\n  (name) @label)\n\n(proof_step_ref\n  \">\" @punctuation.bracket)\n\n(take_proof_step\n  (identifier) @variable.parameter)\n\n(theorem\n  name: (identifier) @constant)\n\n; Comments and tags\n(block_comment\n  \"(*\" @comment)\n\n(block_comment\n  \"*)\" @comment)\n\n(block_comment_text) @comment \n\n(comment) @comment \n\n(single_line) @comment\n\n(_\n  label: (identifier) @label)\n\n(label\n  name: (_) @label)\n\n(pcal_goto\n  statement: (identifier) @label)",
-      "injections": "; This file is auto-generated. Do not edit.\n([\n  (comment)\n  (block_comment_text)\n] @injection.content\n  (#set! injection.language \"comment\"))",
-      "locals": "; This file is auto-generated. Do not edit.\n; TLA+ scopes and definitions\n[\n  (bounded_quantification)\n  (choose)\n  (function_definition)\n  (function_literal)\n  (lambda)\n  (let_in)\n  (module)\n  (module_definition)\n  (operator_definition)\n  (set_filter)\n  (set_map)\n  (unbounded_quantification)\n] @local.scope\n\n(choose\n  (identifier) @local.definition.parameter)\n\n(choose\n  (tuple_of_identifiers\n    (identifier) @local.definition.parameter))\n\n(constant_declaration\n  (identifier) @local.definition.constant)\n\n(constant_declaration\n  (operator_declaration\n    name: (_) @local.definition.constant))\n\n(function_definition\n  name: (identifier) @local.definition.function\n  (#set! definition.function.scope \"parent\"))\n\n(lambda\n  (identifier) @local.definition.parameter)\n\n(module_definition\n  name: (_) @local.definition.import\n  (#set! definition.import.scope \"parent\"))\n\n(module_definition\n  parameter: (identifier) @local.definition.parameter)\n\n(module_definition\n  parameter: (operator_declaration\n    name: (_) @local.definition.parameter))\n\n(operator_definition\n  name: (_) @local.definition.macro\n  (#set! definition.macro.scope \"parent\"))\n\n(operator_definition\n  parameter: (identifier) @local.definition.parameter)\n\n(operator_definition\n  parameter: (operator_declaration\n    name: (_) @local.definition.parameter))\n\n(quantifier_bound\n  (identifier) @local.definition.parameter)\n\n(quantifier_bound\n  (tuple_of_identifiers\n    (identifier) @local.definition.parameter))\n\n(unbounded_quantification\n  (identifier) @local.definition.parameter)\n\n(variable_declaration\n  (identifier) @local.definition.var)\n\n; Proof scopes and definitions\n[\n  (non_terminal_proof)\n  (suffices_proof_step)\n  (theorem)\n] @local.scope\n\n(assume_prove\n  (new\n    (identifier) @local.definition.parameter))\n\n(assume_prove\n  (new\n    (operator_declaration\n      name: (_) @local.definition.parameter)))\n\n(assumption\n  name: (identifier) @local.definition.constant)\n\n(pick_proof_step\n  (identifier) @local.definition.parameter)\n\n(take_proof_step\n  (identifier) @local.definition.parameter)\n\n(theorem\n  name: (identifier) @local.definition.constant\n  (#set! definition.constant.scope \"parent\"))\n\n; PlusCal scopes and definitions\n[\n  (pcal_algorithm)\n  (pcal_macro)\n  (pcal_procedure)\n  (pcal_with)\n] @local.scope\n\n(pcal_macro_decl\n  parameter: (identifier) @local.definition.parameter)\n\n(pcal_proc_var_decl\n  (identifier) @local.definition.parameter)\n\n(pcal_var_decl\n  (identifier) @local.definition.var)\n\n(pcal_with\n  (identifier) @local.definition.parameter)\n\n; Built-in PlusCal variables\n(pcal_algorithm_body\n  [\n    (_\n      (identifier_ref) @local.definition.var)\n    (_\n      (_\n        (identifier_ref) @local.definition.var))\n    (_\n      (_\n        (_\n          (identifier_ref) @local.definition.var)))\n    (_\n      (_\n        (_\n          (_\n            (identifier_ref) @local.definition.var))))\n    (_\n      (_\n        (_\n          (_\n            (_\n              (identifier_ref) @local.definition.var)))))\n  ]\n  (#any-of? @local.definition.var \"self\" \"pc\" \"stack\"))\n\n; References\n(identifier_ref) @local.reference\n\n(prefix_op_symbol) @local.reference\n\n(bound_prefix_op\n  symbol: (_) @local.reference)\n\n(infix_op_symbol) @local.reference\n\n(bound_infix_op\n  symbol: (_) @local.reference)\n\n(postfix_op_symbol) @local.reference\n\n(bound_postfix_op\n  symbol: (_) @local.reference)\n\n(bound_nonfix_op\n  symbol: (_) @local.reference)",
-      "brackets": "; This file is auto-generated. Do not edit.\n(\"(\" @open\n  \")\" @close)\n\n(\"[\" @open\n  \"]\" @close)\n\n(\"{\" @open\n  \"}\" @close)\n"
-    }
-  }
-}
+export { languagePackage }
 
 export const tlaplus = {
   id: "tlaplus",

package/index.workerd.js

@@ -0,0 +1,15 @@
+import { languagePackage } from './language-package.js'
+
+import wasm from './tree-sitter-tlaplus.wasm'
+
+export { languagePackage }
+
+export const tlaplus = {
+  id: "tlaplus",
+  aliases: ["tla","tla+","pluscal"],
+  packageName: "@lumis-sh/wasm-tlaplus",
+  wasm,
+  languagePackage,
+}
+
+export default tlaplus

package/language-package.js

@@ -0,0 +1,26 @@
+export const languagePackage = {
+  "packageName": "@lumis-sh/wasm-tlaplus",
+  "version": "0.26.1",
+  "definitionHash": "d004df76e24087f92340eb9c857454d64bf7759511741d5e7a6b5bc84d9fe23b",
+  "parser": {
+    "name": "tree-sitter-tlaplus",
+    "grammarName": "tlaplus",
+    "upstreamVersion": "0.0.0",
+    "revision": "add40814fda369f6efd989977b2c498aaddde984",
+    "sha256": "798ef6befd5a9b6435eace5ef1e04559b5bb054cc5e9a233e02e4bc3fd99db2f",
+    "size": 4927432
+  },
+  "languages": {
+    "tlaplus": {
+      "aliases": [
+        "tla",
+        "tla+",
+        "pluscal"
+      ],
+      "highlights": "; This file is auto-generated. Do not edit.\n; Keywords\n[\n  \"ACTION\"\n  \"ASSUME\"\n  \"ASSUMPTION\"\n  \"AXIOM\"\n  \"BY\"\n  \"CASE\"\n  \"CHOOSE\"\n  \"CONSTANT\"\n  \"CONSTANTS\"\n  \"COROLLARY\"\n  \"DEF\"\n  \"DEFINE\"\n  \"DEFS\"\n  \"ELSE\"\n  \"EXCEPT\"\n  \"EXTENDS\"\n  \"HAVE\"\n  \"HIDE\"\n  \"IF\"\n  \"IN\"\n  \"INSTANCE\"\n  \"LAMBDA\"\n  \"LEMMA\"\n  \"LET\"\n  \"LOCAL\"\n  \"MODULE\"\n  \"NEW\"\n  \"OBVIOUS\"\n  \"OMITTED\"\n  \"ONLY\"\n  \"OTHER\"\n  \"PICK\"\n  \"PROOF\"\n  \"PROPOSITION\"\n  \"PROVE\"\n  \"QED\"\n  \"RECURSIVE\"\n  \"SF_\"\n  \"STATE\"\n  \"SUFFICES\"\n  \"TAKE\"\n  \"TEMPORAL\"\n  \"THEN\"\n  \"THEOREM\"\n  \"USE\"\n  \"VARIABLE\"\n  \"VARIABLES\"\n  \"WF_\"\n  \"WITH\"\n  \"WITNESS\"\n  (address)\n  (all_map_to)\n  (assign)\n  (case_arrow)\n  (case_box)\n  (def_eq)\n  (exists)\n  (forall)\n  (gets)\n  (label_as)\n  (maps_to)\n  (set_in)\n  (temporal_exists)\n  (temporal_forall)\n] @keyword\n\n;  Pluscal keywords\n[\n  (pcal_algorithm_start)\n  \"algorithm\"\n  \"assert\"\n  \"begin\"\n  \"call\"\n  \"define\"\n  \"end\"\n  \"fair\"\n  \"goto\"\n  \"macro\"\n  \"or\"\n  \"procedure\"\n  \"process\"\n  (pcal_skip)\n  \"variable\"\n  \"variables\"\n  \"when\"\n  \"with\"\n] @keyword\n\n\"await\" @keyword.coroutine\n\n(pcal_with\n  \"=\" @keyword)\n\n(pcal_process\n  \"=\" @keyword)\n\n[\n  \"if\"\n  \"then\"\n  \"else\"\n  \"elsif\"\n  (pcal_end_if)\n  \"either\"\n  (pcal_end_either)\n] @keyword.conditional\n\n[\n  \"while\"\n  \"do\"\n  (pcal_end_while)\n  \"with\"\n  (pcal_end_with)\n] @keyword.repeat\n\n(pcal_return) @keyword.return\n\n\"print\" @function.macro\n\n; Literals\n(binary_number\n  (format) @keyword)\n\n(binary_number\n  (value) @number)\n\n(boolean) @boolean\n\n(boolean_set) @type\n\n(hex_number\n  (format) @keyword)\n\n(hex_number\n  (value) @number)\n\n(int_number_set) @type\n\n(nat_number) @number\n\n(nat_number_set) @type\n\n(octal_number\n  (format) @keyword)\n\n(octal_number\n  (value) @number)\n\n(real_number) @number\n\n(real_number_set) @type\n\n(string) @string\n\n(escape_char) @string.escape\n\n(string_set) @type\n\n; Namespaces\n(extends\n  (identifier_ref) @module)\n\n(instance\n  (identifier_ref) @module)\n\n(module\n  name: (identifier) @module)\n\n(pcal_algorithm\n  name: (identifier) @module)\n\n; Operators, functions, and macros\n(bound_infix_op\n  symbol: (_) @operator)\n\n(bound_nonfix_op\n  symbol: (_) @operator)\n\n(bound_postfix_op\n  symbol: (_) @operator)\n\n(bound_prefix_op\n  symbol: (_) @operator)\n\n(prefix_op_symbol) @operator\n\n(infix_op_symbol) @operator\n\n(postfix_op_symbol) @operator\n\n(function_definition\n  name: (identifier) @function)\n\n(module_definition\n  name: (_) @keyword.import)\n\n(operator_definition\n  name: (_) @function.macro)\n\n(pcal_macro_decl\n  name: (identifier) @function.macro)\n\n(pcal_macro_call\n  name: (identifier) @function.macro)\n\n(pcal_proc_decl\n  name: (identifier) @function.macro)\n\n(pcal_process\n  name: (identifier) @function)\n\n(recursive_declaration\n  (identifier) @function.macro)\n\n(recursive_declaration\n  (operator_declaration\n    name: (_) @function.macro))\n\n; Constants and variables\n(constant_declaration\n  (identifier) @constant)\n\n(constant_declaration\n  (operator_declaration\n    name: (_) @constant))\n\n(pcal_var_decl\n  (identifier) @variable)\n\n(pcal_with\n  (identifier) @variable.parameter)\n\n(\".\"\n  .\n  (identifier) @attribute)\n\n(record_literal\n  (identifier) @attribute)\n\n(set_of_records\n  (identifier) @attribute)\n\n(variable_declaration\n  (identifier) @variable)\n\n; Parameters\n(choose\n  (identifier) @variable.parameter)\n\n(choose\n  (tuple_of_identifiers\n    (identifier) @variable.parameter))\n\n(lambda\n  (identifier) @variable.parameter)\n\n(module_definition\n  (operator_declaration\n    name: (_) @variable.parameter))\n\n(module_definition\n  parameter: (identifier) @variable.parameter)\n\n(operator_definition\n  (operator_declaration\n    name: (_) @variable.parameter))\n\n(operator_definition\n  parameter: (identifier) @variable.parameter)\n\n(pcal_macro_decl\n  parameter: (identifier) @variable.parameter)\n\n(pcal_proc_var_decl\n  (identifier) @variable.parameter)\n\n(quantifier_bound\n  (identifier) @variable.parameter)\n\n(quantifier_bound\n  (tuple_of_identifiers\n    (identifier) @variable.parameter))\n\n(unbounded_quantification\n  (identifier) @variable.parameter)\n\n; Delimiters\n[\n  (langle_bracket)\n  (rangle_bracket)\n  (rangle_bracket_sub)\n  \"{\"\n  \"}\"\n  \"[\"\n  \"]\"\n  \"]_\"\n  \"(\"\n  \")\"\n] @punctuation.bracket\n\n[\n  \",\"\n  \":\"\n  \".\"\n  \"!\"\n  \";\"\n  (bullet_conj)\n  (bullet_disj)\n  (prev_func_val)\n  (placeholder)\n] @punctuation.delimiter\n\n; Proofs\n(assume_prove\n  (new\n    (identifier) @variable.parameter))\n\n(assume_prove\n  (new\n    (operator_declaration\n      name: (_) @variable.parameter)))\n\n(assumption\n  name: (identifier) @constant)\n\n(pick_proof_step\n  (identifier) @variable.parameter)\n\n(proof_step_id\n  \"<\" @punctuation.bracket)\n\n(proof_step_id\n  (level) @label)\n\n(proof_step_id\n  (name) @label)\n\n(proof_step_id\n  \">\" @punctuation.bracket)\n\n(proof_step_ref\n  \"<\" @punctuation.bracket)\n\n(proof_step_ref\n  (level) @label)\n\n(proof_step_ref\n  (name) @label)\n\n(proof_step_ref\n  \">\" @punctuation.bracket)\n\n(take_proof_step\n  (identifier) @variable.parameter)\n\n(theorem\n  name: (identifier) @constant)\n\n; Comments and tags\n(block_comment\n  \"(*\" @comment)\n\n(block_comment\n  \"*)\" @comment)\n\n(block_comment_text) @comment \n\n(comment) @comment \n\n(single_line) @comment\n\n(_\n  label: (identifier) @label)\n\n(label\n  name: (_) @label)\n\n(pcal_goto\n  statement: (identifier) @label)",
+      "injections": "; This file is auto-generated. Do not edit.\n([\n  (comment)\n  (block_comment_text)\n] @injection.content\n  (#set! injection.language \"comment\"))",
+      "locals": "; This file is auto-generated. Do not edit.\n; TLA+ scopes and definitions\n[\n  (bounded_quantification)\n  (choose)\n  (function_definition)\n  (function_literal)\n  (lambda)\n  (let_in)\n  (module)\n  (module_definition)\n  (operator_definition)\n  (set_filter)\n  (set_map)\n  (unbounded_quantification)\n] @local.scope\n\n(choose\n  (identifier) @local.definition.parameter)\n\n(choose\n  (tuple_of_identifiers\n    (identifier) @local.definition.parameter))\n\n(constant_declaration\n  (identifier) @local.definition.constant)\n\n(constant_declaration\n  (operator_declaration\n    name: (_) @local.definition.constant))\n\n(function_definition\n  name: (identifier) @local.definition.function\n  (#set! definition.function.scope \"parent\"))\n\n(lambda\n  (identifier) @local.definition.parameter)\n\n(module_definition\n  name: (_) @local.definition.import\n  (#set! definition.import.scope \"parent\"))\n\n(module_definition\n  parameter: (identifier) @local.definition.parameter)\n\n(module_definition\n  parameter: (operator_declaration\n    name: (_) @local.definition.parameter))\n\n(operator_definition\n  name: (_) @local.definition.macro\n  (#set! definition.macro.scope \"parent\"))\n\n(operator_definition\n  parameter: (identifier) @local.definition.parameter)\n\n(operator_definition\n  parameter: (operator_declaration\n    name: (_) @local.definition.parameter))\n\n(quantifier_bound\n  (identifier) @local.definition.parameter)\n\n(quantifier_bound\n  (tuple_of_identifiers\n    (identifier) @local.definition.parameter))\n\n(unbounded_quantification\n  (identifier) @local.definition.parameter)\n\n(variable_declaration\n  (identifier) @local.definition.var)\n\n; Proof scopes and definitions\n[\n  (non_terminal_proof)\n  (suffices_proof_step)\n  (theorem)\n] @local.scope\n\n(assume_prove\n  (new\n    (identifier) @local.definition.parameter))\n\n(assume_prove\n  (new\n    (operator_declaration\n      name: (_) @local.definition.parameter)))\n\n(assumption\n  name: (identifier) @local.definition.constant)\n\n(pick_proof_step\n  (identifier) @local.definition.parameter)\n\n(take_proof_step\n  (identifier) @local.definition.parameter)\n\n(theorem\n  name: (identifier) @local.definition.constant\n  (#set! definition.constant.scope \"parent\"))\n\n; PlusCal scopes and definitions\n[\n  (pcal_algorithm)\n  (pcal_macro)\n  (pcal_procedure)\n  (pcal_with)\n] @local.scope\n\n(pcal_macro_decl\n  parameter: (identifier) @local.definition.parameter)\n\n(pcal_proc_var_decl\n  (identifier) @local.definition.parameter)\n\n(pcal_var_decl\n  (identifier) @local.definition.var)\n\n(pcal_with\n  (identifier) @local.definition.parameter)\n\n; Built-in PlusCal variables\n(pcal_algorithm_body\n  [\n    (_\n      (identifier_ref) @local.definition.var)\n    (_\n      (_\n        (identifier_ref) @local.definition.var))\n    (_\n      (_\n        (_\n          (identifier_ref) @local.definition.var)))\n    (_\n      (_\n        (_\n          (_\n            (identifier_ref) @local.definition.var))))\n    (_\n      (_\n        (_\n          (_\n            (_\n              (identifier_ref) @local.definition.var)))))\n  ]\n  (#any-of? @local.definition.var \"self\" \"pc\" \"stack\"))\n\n; References\n(identifier_ref) @local.reference\n\n(prefix_op_symbol) @local.reference\n\n(bound_prefix_op\n  symbol: (_) @local.reference)\n\n(infix_op_symbol) @local.reference\n\n(bound_infix_op\n  symbol: (_) @local.reference)\n\n(postfix_op_symbol) @local.reference\n\n(bound_postfix_op\n  symbol: (_) @local.reference)\n\n(bound_nonfix_op\n  symbol: (_) @local.reference)",
+      "brackets": "; This file is auto-generated. Do not edit.\n(\"(\" @open\n  \")\" @close)\n\n(\"[\" @open\n  \"]\" @close)\n\n(\"{\" @open\n  \"}\" @close)\n"
+    }
+  }
+}

package/lumis.json

@@ -1,6 +1,6 @@
 {
   "packageName": "@lumis-sh/wasm-tlaplus",
-  "version": "0.26.0",
+  "version": "0.26.1",
   "definitionHash": "d004df76e24087f92340eb9c857454d64bf7759511741d5e7a6b5bc84d9fe23b",
   "parser": {
     "name": "tree-sitter-tlaplus",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lumis-sh/wasm-tlaplus",
-  "version": "0.26.0",
+  "version": "0.26.1",
   "type": "module",
   "types": "./index.d.ts",
   "description": "Tree-sitter parser and queries for tlaplus, compiled to WASM for Lumis",
@@ -14,6 +14,8 @@
   "exports": {
     ".": {
       "types": "./index.d.ts",
+      "workerd": "./index.workerd.js",
+      "edge-light": "./index.edge.js",
       "default": "./index.js"
     },
     "./tree-sitter-tlaplus.wasm": "./tree-sitter-tlaplus.wasm",
@@ -21,7 +23,7 @@
   },
   "lumis": {
     "treeSitter": "0.26",
-    "formatVersion": 4,
+    "formatVersion": 5,
     "definitionHash": "d004df76e24087f92340eb9c857454d64bf7759511741d5e7a6b5bc84d9fe23b"
   },
   "peerDependencies": {