diff options
| author | Andrew Helwer <ahelwer@users.noreply.github.com> | 2022-02-03 13:12:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-03 19:12:22 +0100 |
| commit | b12c10778c4eb16bdaaed3a4b11397039b81d9f5 (patch) | |
| tree | 729e4b1a992bae2b0ecb2e00d3326d01c78b62b8 /queries/tlaplus | |
| parent | 50cf31065c1e3502d8964bb3674b95567d752074 (diff) | |
Updated TLA+ version, queries, maintainers (#2442)
Diffstat (limited to 'queries/tlaplus')
| -rw-r--r-- | queries/tlaplus/highlights.scm | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index 01b302f2..98901ef6 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -1,8 +1,7 @@ -; ; highlights.scm -; ; Default capture names for tree-sitter highlight found here: +; ; Intended for consumption by nvim-treesitter +; ; Default capture names for nvim-treesitter found here: ; ; https://github.com/nvim-treesitter/nvim-treesitter/blob/e473630fe0872cb0ed97cd7085e724aa58bc1c84/lua/nvim-treesitter/highlight.lua#L14-L104 - ; Keywords [ "ACTION" @@ -78,6 +77,7 @@ ; Pluscal keywords [ (pcal_algorithm_start) + "algorithm" "assert" "await" "begin" @@ -133,6 +133,7 @@ (real_number) @number (real_number_set) @type (string) @string +(escape_char) @string.escape (string_set) @type ; Namespaces and includes @@ -205,12 +206,12 @@ ; Proofs (proof_step_id "<" @punctuation.bracket) -(proof_step_id (level) @number) -(proof_step_id (name) @constant) +(proof_step_id (level) @label) +(proof_step_id (name) @label) (proof_step_id ">" @punctuation.bracket) (proof_step_ref "<" @punctuation.bracket) -(proof_step_ref (level) @number) -(proof_step_ref (name) @constant) +(proof_step_ref (level) @label) +(proof_step_ref (name) @label) (proof_step_ref ">" @punctuation.bracket) ; Comments and tags @@ -219,8 +220,9 @@ (block_comment_text) @comment (comment) @comment (single_line) @comment -(_ label: (identifier) @tag) -(pcal_goto statement: (identifier) @tag) +(_ label: (identifier) @label) +(label name: (_) @label) +(pcal_goto statement: (identifier) @label) ; Reference highlighting with the same color as declarations. ; `constant`, `operator`, and others are custom captures defined in locals.scm |