git.iko.soy/Idris-dev
on master help sign in
vim: fix nested blockcomments
7ff46f3raichoo
contribs/tool-support/vim/syntax/idris.vim+2−2
compare with master
unifiedsplit
@@ -4,7 +4,7 @@
4" highlighter to support idris.
4" highlighter to support idris.
5"
5"
6" author: raichoo (raichoo@googlemail.com)
6" author: raichoo (raichoo@googlemail.com)
7−" date: Mar 19 2013
7+" date: Mar 20 2013
8
8
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
@@ -28,7 +28,7 @@ syn match idrisLink "%\(lib\|link\|include\)"
28syn match idrisDirective "%\(access\|default\|assert_total\)"
28syn match idrisDirective "%\(access\|default\|assert_total\)"
29syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
29syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
30syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
30syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
31−syn region idrisBlockComment start="{-" end="-}"
31+syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
32syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
32syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
33
33
34syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
34syn match idrisBadLeadingWhiteSpace "^\s*\t\+"