tm-grammars 1.24.22 → 1.24.24

package/README.md

@@ -76,7 +76,7 @@ import { grammars } from 'tm-grammars'
 | `erb` |  | [textmate/ruby.tmbundle](https://github.com/textmate/ruby.tmbundle/blob/ecf0f1df23984bcff9b51552e35d9696cb0d9539/Syntaxes/HTML%20(Ruby%20-%20ERB).tmLanguage) |  |  | `html` `ruby` | 1.90 kB |
 | `erlang` | `erl` | [erlang-ls/grammar](https://github.com/erlang-ls/grammar/blob/fe898becd3004bcb4947ab50d6b6b830fbfb9228/Erlang.plist) | [Apache-2.0](https://raw.githubusercontent.com/erlang-ls/grammar/main/LICENSE) |  | `markdown` | 35.64 kB |
 | `fennel` |  | [kongeor/vsc-fennel](https://github.com/kongeor/vsc-fennel/blob/664148923d7bd72531120d0cba712c6dba6f698d/syntaxes/fennel.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/kongeor/vsc-fennel/master/LICENSE) |  |  | 4.53 kB |
-| `fish` |  | [bmalehorn/vscode-fish](https://github.com/bmalehorn/vscode-fish/blob/af7f414d21859f116e8975470976062f7553c620/syntaxes/fish.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/bmalehorn/vscode-fish/master/LICENSE) |  |  | 8.86 kB |
+| `fish` |  | [bmalehorn/vscode-fish](https://github.com/bmalehorn/vscode-fish/blob/8288b88c46ebe1ef2876fd4275450fc80c5a176a/syntaxes/fish.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/bmalehorn/vscode-fish/master/LICENSE) |  |  | 12.27 kB |
 | `fluent` | `ftl` | [macabeus/vscode-fluent](https://github.com/macabeus/vscode-fluent/blob/8544ea296a7769a359f43ddff4dc4b6c61f5cf59/syntaxes/fluent.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/macabeus/vscode-fluent/master/LICENSE) |  |  | 3.38 kB |
 | `fortran-fixed-form` | `f` `for` `f77` | [fortran-lang/vscode-fortran-support](https://github.com/fortran-lang/vscode-fortran-support/blob/e642012094fc0a7379f204bb4e61243005afb1da/syntaxes/fortran_fixed-form.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/fortran-lang/vscode-fortran-support/main/LICENSE) |  | `fortran-free-form` | 903.00 B |
 | `fortran-free-form` | `f90` `f95` `f03` `f08` `f18` | [fortran-lang/vscode-fortran-support](https://github.com/fortran-lang/vscode-fortran-support/blob/f7fb41579770a0d8c75b9f295d167b31147b4f33/syntaxes/fortran_free-form.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/fortran-lang/vscode-fortran-support/main/LICENSE) |  |  | 82.16 kB |
@@ -126,7 +126,7 @@ import { grammars } from 'tm-grammars'
 | `kotlin` | `kt` `kts` | [fwcd/vscode-kotlin](https://github.com/fwcd/vscode-kotlin/blob/626e20d5c51a4379c4c0ee293aa89e58b5232aec/syntaxes/kotlin.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/fwcd/vscode-kotlin/main/LICENSE) |  |  | 8.19 kB |
 | `kusto` | `kql` | [rosshamish/kuskus](https://github.com/rosshamish/kuskus/blob/2628495122cd3b0cc4b4c6ba6e0f6efd621ed9f6/kusto-syntax-highlighting/syntaxes/kusto.tmLanguage.json) |  |  |  | 14.28 kB |
 | `latex` |  | [microsoft/vscode](https://github.com/microsoft/vscode/blob/e6cffb21362b6d7addb977ff7db14f0681228780/extensions/latex/syntaxes/LaTeX.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) |  | `tex` `shellscript` `css` `gnuplot` `haskell` `html` `java` `julia` `javascript` `lua` `python` `ruby` `rust` `typescript` `xml` `yaml` `scala` | 67.56 kB |
-| `lean` | `lean4` | [leanprover/vscode-lean4](https://github.com/leanprover/vscode-lean4/blob/b8fc2226dc1b76c29ddb63829a4d6adadadec9cd/vscode-lean4/syntaxes/lean4.json) | [Apache-2.0](https://raw.githubusercontent.com/leanprover/vscode-lean4/master/LICENSE) |  |  | 3.72 kB |
+| `lean` | `lean4` | [leanprover/vscode-lean4](https://github.com/leanprover/vscode-lean4/blob/7071db855efdc3286a22376704b2279633cba614/vscode-lean4/syntaxes/lean4.json) | [Apache-2.0](https://raw.githubusercontent.com/leanprover/vscode-lean4/master/LICENSE) |  |  | 5.42 kB |
 | `less` |  | [microsoft/vscode](https://github.com/microsoft/vscode/blob/03dc55030b3b2b5c4779d4ac1e2e46cd1f5a6b7c/extensions/less/syntaxes/less.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) |  |  | 92.58 kB |
 | `liquid` |  | [Shopify/liquid-tm-grammar](https://github.com/Shopify/liquid-tm-grammar/blob/099adcf0d4beacd078a22432eaeab08d6f1e6da5/grammars/liquid.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/Shopify/liquid-tm-grammar/main/LICENSE.md) |  | `html` `css` `json` `javascript` | 16.94 kB |
 | `llvm` |  | [llvm/llvm-project](https://github.com/llvm/llvm-project/blob/224873d7acab430d29c978136418c40fa028a40d/llvm/utils/vscode/llvm/syntaxes/ll.tmLanguage.yaml) | [NOASSERTION](https://raw.githubusercontent.com/llvm/llvm-project/main/LICENSE.TXT) |  |  | 4.55 kB |

package/grammars/fish.json

@@ -81,7 +81,7 @@
       "patterns": [
         {
           "match": "\\\\[] \"#$\\&-*;<>?\\[^abefnrtv{-~]",
-          "name": "constant.character.escape.single.fish"
+          "name": "constant.character.escape.string.fish"
         },
         {
           "match": "\\\\x\\h{1,2}",
@@ -206,17 +206,14 @@
       "end": "(?<!\\\\)((\\\\\\\\)*)(])",
       "endCaptures": {
         "1": {
-          "name": "constant.character.escape.single.fish"
+          "name": "constant.character.escape.string.fish"
         },
         "3": {
           "name": "punctuation.definition.slice.end.fish"
         }
       },
-      "name": "meta.embedded.slice.fish",
+      "name": "meta.embedded.slice.fish variable.interpolation.fish",
       "patterns": [
-        {
-          "include": "#slice-range-operator"
-        },
         {
           "include": "#string-double"
         },
@@ -237,9 +234,35 @@
         }
       ]
     },
-    "slice-range-operator": {
-      "match": "\\.\\.",
-      "name": "keyword.control.fish"
+    "slice-string-double": {
+      "begin": "\\[",
+      "beginCaptures": {
+        "0": {
+          "name": "punctuation.definition.slice.begin.fish"
+        }
+      },
+      "end": "(?<!\\\\)((\\\\\\\\)*)(])",
+      "endCaptures": {
+        "1": {
+          "name": "constant.character.escape.string.fish"
+        },
+        "3": {
+          "name": "punctuation.definition.slice.end.fish"
+        }
+      },
+      "name": "meta.embedded.slice.fish variable.interpolation.string.fish",
+      "patterns": [
+        {
+          "include": "#subshell"
+        },
+        {
+          "include": "#variable"
+        },
+        {
+          "match": "\\\\([\"$]|$|\\\\)",
+          "name": "constant.character.escape.fish"
+        }
+      ]
     },
     "string-double": {
       "begin": "\"",
@@ -260,7 +283,7 @@
           "include": "#subshell"
         },
         {
-          "include": "#variable"
+          "include": "#variable-string-double"
         },
         {
           "match": "\\\\([\"$]|$|\\\\)",
@@ -299,7 +322,7 @@
       "end": "(?<!\\\\)((\\\\\\\\)*)(\\))",
       "endCaptures": {
         "1": {
-          "name": "constant.character.escape.single.fish"
+          "name": "constant.character.escape.string.fish"
         },
         "3": {
           "name": "punctuation.definition.subshell.end.fish"
@@ -352,7 +375,7 @@
       "end": "(?<!\\\\)((\\\\\\\\)*)(\\))",
       "endCaptures": {
         "1": {
-          "name": "constant.character.escape.single.fish"
+          "name": "constant.character.escape.string.fish"
         },
         "3": {
           "name": "punctuation.definition.subshell.end.fish"
@@ -455,6 +478,64 @@
           "name": "variable.other.normal.fish"
         }
       ]
+    },
+    "variable-string-double": {
+      "patterns": [
+        {
+          "begin": "(\\$)(argv|CMD_DURATION|COLUMNS|fish_bind_mode|fish_color_autosuggestion|fish_color_cancel|fish_color_command|fish_color_comment|fish_color_cwd|fish_color_cwd_root|fish_color_end|fish_color_error|fish_color_escape|fish_color_hg_added|fish_color_hg_clean|fish_color_hg_copied|fish_color_hg_deleted|fish_color_hg_dirty|fish_color_hg_modified|fish_color_hg_renamed|fish_color_hg_unmerged|fish_color_hg_untracked|fish_color_history_current|fish_color_host|fish_color_host_remote|fish_color_match|fish_color_normal|fish_color_operator|fish_color_param|fish_color_quote|fish_color_redirection|fish_color_search_match|fish_color_selection|fish_color_status|fish_color_user|fish_color_valid_path|fish_complete_path|fish_function_path|fish_greeting|fish_key_bindings|fish_pager_color_completion|fish_pager_color_description|fish_pager_color_prefix|fish_pager_color_progress|fish_pid|fish_prompt_hg_status_added|fish_prompt_hg_status_copied|fish_prompt_hg_status_deleted|fish_prompt_hg_status_modified|fish_prompt_hg_status_order|fish_prompt_hg_status_unmerged|fish_prompt_hg_status_untracked|FISH_VERSION|history|hostname|IFS|LINES|pipestatus|status|umask|version)\\b(?=\\[)",
+          "beginCaptures": {
+            "1": {
+              "name": "punctuation.definition.variable.fish"
+            },
+            "2": {
+              "name": "variable.language.fish"
+            }
+          },
+          "end": "(?<=])",
+          "name": "variable.language.fish",
+          "patterns": [
+            {
+              "include": "#slice-string-double"
+            }
+          ]
+        },
+        {
+          "captures": {
+            "1": {
+              "name": "punctuation.definition.variable.fish"
+            }
+          },
+          "match": "(\\$)(argv|CMD_DURATION|COLUMNS|fish_bind_mode|fish_color_autosuggestion|fish_color_cancel|fish_color_command|fish_color_comment|fish_color_cwd|fish_color_cwd_root|fish_color_end|fish_color_error|fish_color_escape|fish_color_hg_added|fish_color_hg_clean|fish_color_hg_copied|fish_color_hg_deleted|fish_color_hg_dirty|fish_color_hg_modified|fish_color_hg_renamed|fish_color_hg_unmerged|fish_color_hg_untracked|fish_color_history_current|fish_color_host|fish_color_host_remote|fish_color_match|fish_color_normal|fish_color_operator|fish_color_param|fish_color_quote|fish_color_redirection|fish_color_search_match|fish_color_selection|fish_color_status|fish_color_user|fish_color_valid_path|fish_complete_path|fish_function_path|fish_greeting|fish_key_bindings|fish_pager_color_completion|fish_pager_color_description|fish_pager_color_prefix|fish_pager_color_progress|fish_pid|fish_prompt_hg_status_added|fish_prompt_hg_status_copied|fish_prompt_hg_status_deleted|fish_prompt_hg_status_modified|fish_prompt_hg_status_order|fish_prompt_hg_status_unmerged|fish_prompt_hg_status_untracked|FISH_VERSION|history|hostname|IFS|LINES|pipestatus|status|umask|version)\\b",
+          "name": "variable.language.fish"
+        },
+        {
+          "begin": "(\\$)([A-Z_a-z][0-9A-Z_a-z]*)(?=\\[)",
+          "beginCaptures": {
+            "1": {
+              "name": "punctuation.definition.variable.fish"
+            },
+            "2": {
+              "name": "variable.other.normal.fish"
+            }
+          },
+          "end": "(?<=])",
+          "name": "variable.other.normal.fish",
+          "patterns": [
+            {
+              "include": "#slice-string-double"
+            }
+          ]
+        },
+        {
+          "captures": {
+            "1": {
+              "name": "punctuation.definition.variable.fish"
+            }
+          },
+          "match": "(\\$)[A-Z_a-z][0-9A-Z_a-z]*",
+          "name": "variable.other.normal.fish"
+        }
+      ]
     }
   },
   "scopeName": "source.fish"

package/grammars/lean.json

@@ -12,23 +12,43 @@
       "name": "storage.type.lean4"
     },
     {
-      "match": "\\battribute\\b\\s*\\[[^]]*]",
-      "name": "storage.modifier.lean4"
+      "captures": {
+        "1": {
+          "name": "storage.modifier.lean4"
+        },
+        "2": {
+          "name": "storage.modifier.lean4"
+        },
+        "3": {
+          "name": "storage.modifier.lean4"
+        }
+      },
+      "match": "\\b(attribute\\b\\s*)(?:(\\[[^]\\s]*])|\\[([^]\\s]*))"
     },
     {
-      "match": "@\\[[^]]*]",
-      "name": "storage.modifier.lean4"
+      "captures": {
+        "1": {
+          "name": "storage.modifier.lean4"
+        },
+        "2": {
+          "name": "storage.modifier.lean4"
+        },
+        "3": {
+          "name": "storage.modifier.lean4"
+        }
+      },
+      "match": "(@)(?:(\\[[^]\\s]*])|\\[([^]\\s]*))"
     },
     {
-      "match": "\\b(?<!\\.)(global|local|scoped|partial|unsafe|private|protected|noncomputable)(?!\\.)\\b",
+      "match": "\\b(?<!\\.)(local|scoped|partial|unsafe|nonrec|public|private|protected|noncomputable|meta)(?!\\.)\\b",
       "name": "storage.modifier.lean4"
     },
     {
-      "match": "\\b(sorry|admit|stop)\\b",
+      "match": "\\b(sorry|admit|#exit)\\b",
       "name": "invalid.illegal.lean4"
     },
     {
-      "match": "#(print|eval|reduce|check|check_failure)\\b",
+      "match": "#(print|eval!??|reduce|synth|widget|where|version|with_exporting|check|check_tactic|check_tactic_failure|check_failure|check_simp|discr_tree_key|discr_tree_simp_key|guard|guard_expr|guard_msgs)\\b",
       "name": "keyword.other.lean4"
     },
     {
@@ -36,7 +56,7 @@
       "name": "keyword.other.command.lean4"
     },
     {
-      "begin": "\\b(?<!\\.)(inductive|coinductive|structure|theorem|axiom|abbrev|lemma|def|instance|class|constant)\\b\\s+(\\{[^}]*})?",
+      "begin": "\\b(?<!\\.)(inductive|coinductive|structure|theorem|axiom|abbrev|lemma|def|instance|class)\\b\\s+(\\{[^}]*})?",
       "beginCaptures": {
         "1": {
           "name": "keyword.other.definitioncommand.lean4"
@@ -57,7 +77,7 @@
       ]
     },
     {
-      "match": "\\b(?<!\\.)(theorem|show|have|from|suffices|nomatch|def|class|structure|instance|set_option|initialize|builtin_initialize|example|inductive|coinductive|axiom|constant|universes??|variables??|import|open|export|theory|prelude|renaming|hiding|exposing|do|by|let|extends|mutual|mut|where|rec|syntax|macro_rules|macro|deriving|fun|section|namespace|end|infixl??|infixr|postfix|prefix|notation|abbrev|if|then|else|calc|match|with|for|in|unless|try|catch|finally|return|continue|break)(?!\\.)\\b",
+      "match": "\\b(?<!\\.)(theorem|show|have|using|haveI|from|suffices|nomatch|nofun|no_index|def|class|structure|instance|elab|set_option|initialize|builtin_initialize|example|inductive_fixpoint|inductive|coinductive_fixpoint|coinductive|termination_by\\??|decreasing_by|partial_fixpoint|axiom|universe|variable|module|import all|import|open|export|prelude|renaming|hiding|do|by\\??|letI??|let_expr|extends|mutual|mut|where|rec|declare_syntax_cat|syntax|macro_rules|macro|binop_lazy%|binop%|unop%|binrel_no_prop%|binrel%|leftact%|rightact%|max_prec|leading_parser|elab_rules|deriving|fun|section|namespace|end|prefix|postfix|infixl|infixr?|notation|abbrev|if|bif|then|else|calc|matches|match_expr|match|with|forall|for|while|repeat|unless|until|panic!|unreachable!|assert!|try|catch|finally|return|continue|break|exists|mod_cast|exact\\?%|include_str|include|in|trailing_parser|tactic_tag|tactic_alt|tactic_extension|register_tactic_tag|type_of%|binder_predicate|grind_propagator|builtin_grind_propagator|grind_pattern|simproc|builtin_simproc|simproc_pattern%|builtin_simproc_pattern%|simproc_decl|builtin_simproc_decl|dsimproc|builtin_dsimproc|dsimproc_decl|builtin_dsimproc_decl|show_panel_widgets|show_term|seal|unseal|nat_lit|norm_cast_add_elim|println!|private_decl%|declare_config_elab|decl_name%|register_error_explanation|register_builtin_option|register_option|register_parser_alias|register_simp_attr|register_linter_set|register_label_attr|recommended_spelling|reportIssue!|reprove|run_elab|run_cmd|run_meta|value_of%|add_decl_doc|omit|opaque|json%|dbg_trace|trace_goal\\[[^]\\s]*]|trace\\[[^]\\s]*]|throwErrorAt|throwError|throwNamedErrorAt|throwNamedError|logNamedWarningAt|logNamedWarning|logNamedErrorAt|logNamedError)(?!\\.)\\b",
       "name": "keyword.other.lean4"
     },
     {
@@ -66,7 +86,7 @@
       "end": "»"
     },
     {
-      "begin": "(s!)\"",
+      "begin": "(s!|m!|throwError|dbg_trace|panic!|reportIssue!|trace(?:_goal|)\\[[^]\\s]*])\\s*\"",
       "beginCaptures": {
         "1": {
           "name": "keyword.other.lean4"
@@ -132,7 +152,7 @@
       "name": "constant.language.lean4"
     },
     {
-      "match": "'[^'\\\\]'",
+      "match": "(?<![]\\w])'[^'\\\\]'",
       "name": "string.quoted.single.lean4"
     },
     {
@@ -141,7 +161,7 @@
           "name": "constant.character.escape.lean4"
         }
       },
-      "match": "'(\\\\(x\\h\\h|u\\h\\h\\h\\h|.))'",
+      "match": "\\b(?<![]\\w])'(\\\\(x\\h\\h|u\\h\\h\\h\\h|.))'\\b",
       "name": "string.quoted.single.lean4"
     },
     {

package/index.js

@@ -1167,22 +1167,22 @@ export const grammars = [
     sourceApi: 'https://api.github.com/repos/kongeor/vsc-fennel/contents/syntaxes/fennel.tmLanguage.json?ref=664148923d7bd72531120d0cba712c6dba6f698d',
   },
   {
-    byteSize: 9072,
+    byteSize: 12564,
     categories: [
       'scripting',
     ],
     displayName: 'Fish',
     funding: [
     ],
-    hash: 'lSNvqrsTEzMrf2vx4kqTHYqPiQ5p8Ci8zp79inZXhLI',
-    lastUpdate: '2025-10-14T18:51:17Z',
+    hash: '68SUiD2IwZiNxjl87FA_EMXyoA-ocCvZ2JE9WGnywZ8',
+    lastUpdate: '2025-10-16T05:22:48Z',
     license: 'MIT',
     licenseUrl: 'https://raw.githubusercontent.com/bmalehorn/vscode-fish/master/LICENSE',
     name: 'fish',
     scopeName: 'source.fish',
-    sha: 'af7f414d21859f116e8975470976062f7553c620',
-    source: 'https://github.com/bmalehorn/vscode-fish/blob/af7f414d21859f116e8975470976062f7553c620/syntaxes/fish.tmLanguage.json',
-    sourceApi: 'https://api.github.com/repos/bmalehorn/vscode-fish/contents/syntaxes/fish.tmLanguage.json?ref=af7f414d21859f116e8975470976062f7553c620',
+    sha: '8288b88c46ebe1ef2876fd4275450fc80c5a176a',
+    source: 'https://github.com/bmalehorn/vscode-fish/blob/8288b88c46ebe1ef2876fd4275450fc80c5a176a/syntaxes/fish.tmLanguage.json',
+    sourceApi: 'https://api.github.com/repos/bmalehorn/vscode-fish/contents/syntaxes/fish.tmLanguage.json?ref=8288b88c46ebe1ef2876fd4275450fc80c5a176a',
   },
   {
     aliases: [
@@ -2206,22 +2206,22 @@ export const grammars = [
     aliases: [
       'lean4',
     ],
-    byteSize: 3812,
+    byteSize: 5553,
     categories: [
       'general',
     ],
     displayName: 'Lean 4',
     funding: [
     ],
-    hash: 'SnWD9GhPJlnzbk6TOGpTaOOff3GusHGksvA8Ix6BKhg',
-    lastUpdate: '2025-06-09T10:00:33Z',
+    hash: 'x_uK2VvS2wLZ-tUKA_og94H7uJQA793WTVzZNLPNWEo',
+    lastUpdate: '2025-10-20T08:26:50Z',
     license: 'Apache-2.0',
     licenseUrl: 'https://raw.githubusercontent.com/leanprover/vscode-lean4/master/LICENSE',
     name: 'lean',
     scopeName: 'source.lean4',
-    sha: 'b8fc2226dc1b76c29ddb63829a4d6adadadec9cd',
-    source: 'https://github.com/leanprover/vscode-lean4/blob/b8fc2226dc1b76c29ddb63829a4d6adadadec9cd/vscode-lean4/syntaxes/lean4.json',
-    sourceApi: 'https://api.github.com/repos/leanprover/vscode-lean4/contents/vscode-lean4/syntaxes/lean4.json?ref=b8fc2226dc1b76c29ddb63829a4d6adadadec9cd',
+    sha: '7071db855efdc3286a22376704b2279633cba614',
+    source: 'https://github.com/leanprover/vscode-lean4/blob/7071db855efdc3286a22376704b2279633cba614/vscode-lean4/syntaxes/lean4.json',
+    sourceApi: 'https://api.github.com/repos/leanprover/vscode-lean4/contents/vscode-lean4/syntaxes/lean4.json?ref=7071db855efdc3286a22376704b2279633cba614',
   },
   {
     byteSize: 94797,

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "tm-grammars",
   "type": "module",
-  "version": "1.24.22",
+  "version": "1.24.24",
   "description": "Collecton of TextMate grammars in JSON",
   "author": "Anthony Fu <anthonyfu117@hotmail.com>",
   "license": "MIT",