From 0c034a646822b74377c95b8934e8d5bb2cd1653e Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 16 Oct 2023 00:49:02 +0200 Subject: Syntax highlighting fix for quoting and indices --- editors/vim/syntax/bruijn.vim | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'editors/vim/syntax/bruijn.vim') 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 -- cgit v1.2.3