tm-grammars 1.24.23 → 1.24.25

package/README.md

@@ -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 |
@@ -210,7 +210,7 @@ import { grammars } from 'tm-grammars'
 | `tcl` |  | [sleutho/tcl](https://github.com/sleutho/tcl/blob/f18820ad14678bc033f0a35524820c90fe50f18b/syntaxes/tcl.tmLanguage) |  |  |  | 4.12 kB |
 | `templ` |  | [templ-go/templ-vscode](https://github.com/templ-go/templ-vscode/blob/d0af70c97ed384e93892c46b93d622ffaba5d93c/syntaxes/templ.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/templ-go/templ-vscode/main/LICENSE) |  | `go` `javascript` `css` | 23.04 kB |
 | `terraform` | `tf` `tfvars` | [hashicorp/syntax](https://github.com/hashicorp/syntax/blob/cc2b4d4fe389f14b8a13937f4e0d7b2811b57588/syntaxes/terraform.tmGrammar.json) | [MPL-2.0](https://raw.githubusercontent.com/hashicorp/syntax/main/LICENSE) |  |  | 10.79 kB |
-| `tex` |  | [microsoft/vscode](https://github.com/microsoft/vscode/blob/f8bb386a48f799f890d00f217a90f615c9b3866c/extensions/latex/syntaxes/TeX.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) |  | `r` | 8.99 kB |
+| `tex` |  | [microsoft/vscode](https://github.com/microsoft/vscode/blob/0af4f80b051adfb7a46f3bb9499bcc1aa4ba0665/extensions/latex/syntaxes/TeX.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) |  | `r` | 9.10 kB |
 | `toml` |  | [textmate/toml.tmbundle](https://github.com/textmate/toml.tmbundle/blob/e82b64c1e86396220786846201e9aa3f0a2d9ca2/Syntaxes/TOML.tmLanguage) |  |  |  | 5.98 kB |
 | `ts-tags` | `lit` | - |  |  | `typescript` `es-tag-css` `es-tag-glsl` `es-tag-html` `es-tag-sql` `es-tag-xml` | 121.00 B |
 | `tsv` |  | [mechatroner/vscode_rainbow_csv](https://github.com/mechatroner/vscode_rainbow_csv/blob/00d4c947f1bbe6a4a73599bd97fb31bdfbe262f3/syntaxes/tsv.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/mechatroner/vscode_rainbow_csv/master/LICENSE) |  |  | 633.00 B |

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/grammars/tex.json

@@ -25,6 +25,9 @@
       "match": "\\\\\\\\",
       "name": "keyword.control.newline.tex"
     },
+    {
+      "include": "#ifnextchar"
+    },
     {
       "include": "#macro-general"
     }
@@ -170,6 +173,10 @@
         }
       ]
     },
+    "ifnextchar": {
+      "match": "\\\\@ifnextchar[(\\[{]",
+      "name": "keyword.control.ifnextchar.tex"
+    },
     "macro-control": {
       "captures": {
         "1": {

package/index.js

@@ -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,
@@ -3972,7 +3972,7 @@ export const grammars = [
     sourceApi: 'https://api.github.com/repos/hashicorp/syntax/contents/syntaxes/terraform.tmGrammar.json?ref=cc2b4d4fe389f14b8a13937f4e0d7b2811b57588',
   },
   {
-    byteSize: 9207,
+    byteSize: 9321,
     categories: [
       'markup',
     ],
@@ -3982,15 +3982,15 @@ export const grammars = [
     ],
     funding: [
     ],
-    hash: 'tWgGhkkaucczpz1PGBzsxX5y8hKhohRETirKICYFphY',
-    lastUpdate: '2025-07-08T10:59:18Z',
+    hash: 'xtlPQvRkrCu-WJs-6-GnsVs2lTmEb5DuKe4uCxoM6Y8',
+    lastUpdate: '2025-10-21T08:46:46Z',
     license: 'MIT',
     licenseUrl: 'https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt',
     name: 'tex',
     scopeName: 'text.tex',
-    sha: 'f8bb386a48f799f890d00f217a90f615c9b3866c',
-    source: 'https://github.com/microsoft/vscode/blob/f8bb386a48f799f890d00f217a90f615c9b3866c/extensions/latex/syntaxes/TeX.tmLanguage.json',
-    sourceApi: 'https://api.github.com/repos/microsoft/vscode/contents/extensions/latex/syntaxes/TeX.tmLanguage.json?ref=f8bb386a48f799f890d00f217a90f615c9b3866c',
+    sha: '0af4f80b051adfb7a46f3bb9499bcc1aa4ba0665',
+    source: 'https://github.com/microsoft/vscode/blob/0af4f80b051adfb7a46f3bb9499bcc1aa4ba0665/extensions/latex/syntaxes/TeX.tmLanguage.json',
+    sourceApi: 'https://api.github.com/repos/microsoft/vscode/contents/extensions/latex/syntaxes/TeX.tmLanguage.json?ref=0af4f80b051adfb7a46f3bb9499bcc1aa4ba0665',
   },
   {
     byteSize: 6126,

package/package.json

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