diff options
| -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 |