git.iko.soy/Idris-dev
on master help sign in
vim: added tactics block
672307craichoo
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: Feb 25 2013
7+" date: Mar 11 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 region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
29syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
30syn region idrisBlockComment start="{-" end="-}"
30syn region idrisBlockComment start="{-" end="-}"
31−syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
31+syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
32
32
33syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
33syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
34syn match idrisBadTrailingWhiteSpace "\s\+$"
34syn match idrisBadTrailingWhiteSpace "\s\+$"