diff options
| author | Marvin Borner | 2023-10-16 00:49:02 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-10-16 00:51:27 +0200 |
| commit | 0c034a646822b74377c95b8934e8d5bb2cd1653e (patch) | |
| tree | 4e5c8f305130f5296dc7c7b31516540f21ff065c /editors/vim | |
| parent | 18e75b37a4668516aea320478958c5a8cab0aa5e (diff) | |
Syntax highlighting fix for quoting and indices
Diffstat (limited to 'editors/vim')
| -rw-r--r-- | editors/vim/syntax/bruijn.vim | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/vim/syntax/bruijn.vim b/editors/vim/syntax/bruijn.vim index b7b2680..2556ceb 100644 --- a/editors/vim/syntax/bruijn.vim +++ b/editors/vim/syntax/bruijn.vim @@ -7,7 +7,8 @@ endif syn match bruijnApplication /[()]/ syn match bruijnAbstraction /[[\]]/ -syn match bruijnIndex /\([^0-9]\)\@<=\d\([^0-9]\)\@=/ +syn match bruijnIndex /\([^0-9A-Za-z]\)\@<=\d\([^0-9]\)\@=/ +syn match bruijnChar /'\@<=.'\@=/ syn match bruijnNumber /([+-]\d\+[dubt]\?)/ syn match bruijnDefinition /^\t*\S\+/ syn match bruijnType /\( ⧗ \)\@<=.*$/ @@ -18,7 +19,6 @@ syn match bruijnNamespaceDelim /\([A-Z][a-z]*\)\@<=\./ syn region bruijnCommentLine start="^# " end="$" oneline syn region bruijnString start=+"+ end=+"+ oneline -syn region bruijnChar start=+'+ end=+'+ oneline hi def link bruijnIndex Special hi def link bruijnNumber Number |