@@ -4,7 +4,7 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: Mar 19 2013
7+" date: Mar 20 2013
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
@@ -28,7 +28,7 @@ syn match idrisLink "%\(lib\|link\|include\)"
2828syn match idrisDirective "%\(access\|default\|assert_total\)"
2929syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
3030syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
31−syn region idrisBlockComment start="{-" end="-}"
31+syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
3232syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
3333
3434syn match idrisBadLeadingWhiteSpace "^\s*\t\+"