diff options
author | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-09-03 11:59:29 +0200 |
---|---|---|
committer | Christian Hergert <christian@hergert.me> | 2022-09-05 22:21:24 +0000 |
commit | 61b90d4f5f71cf3681a83548218eef3f691615c9 (patch) | |
tree | ed91f8b4412fc0959f4e96e61cdc9330273c99a5 | |
parent | 890aed539d1d5942b7b29db81da95f8cca74c504 (diff) | |
download | gtksourceview-61b90d4f5f71cf3681a83548218eef3f691615c9.tar.gz |
lean.lang: various clean-ups
-rw-r--r-- | data/language-specs/lean.lang | 34 |
1 files changed, 16 insertions, 18 deletions
diff --git a/data/language-specs/lean.lang b/data/language-specs/lean.lang index 7a24beba..c5cb8270 100644 --- a/data/language-specs/lean.lang +++ b/data/language-specs/lean.lang @@ -69,7 +69,7 @@ <context id="command" style-ref="command"> <match extended="true"> - \#( + \#(?: check(_failure)? | eval | print @@ -112,24 +112,24 @@ <keyword>λ</keyword> </context> - <define-regex id="string-escape" extended="true"> - \\( - \\ - | \" - | \' - | n - | t - | x[0-9a-fA-F]{2} - ) - </define-regex> + <context id="escaped-character" style-ref="escaped-character"> + <match extended="true"> + \\(?: + \\ + | \" + | \' + | n + | t + | x[0-9a-fA-F]{2} + ) + </match> + </context> <context id="string" style-ref="string" end-at-line-end="true" class="string" class-disabled="no-spell-check"> <start>"</start> <end>"</end> <include> - <context style-ref="escaped-character"> - <match>\%{string-escape}</match> - </context> + <context ref="escaped-character"/> </include> </context> @@ -137,15 +137,13 @@ <start>'</start> <end>'</end> <include> - <context style-ref="escaped-character"> - <match>\%{string-escape}</match> - </context> + <context ref="escaped-character"/> </include> </context> <context id="numeric" style-ref="numeric"> <match extended="true"> - 0[bB][0-1]+ + 0[bB][01]+ | 0[oO][0-7]+ | 0[xX][0-9a-fA-F]+ | [0-9]+ |