@@ -4,7 +4,7 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: Oct 31 2012
7+" date: Nov 13 2012
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
@@ -28,6 +28,12 @@ syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
2828syn region idrisBlockComment start="{-" end="-}"
2929syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
3030
31+syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
32+syn match idrisBadTrailingWhiteSpace "\s\+$"
33+
34+highlight idrisBadLeadingWhiteSpace ctermbg=red
35+highlight idrisBadTrailingWhiteSpace ctermbg=red
36+
3137highlight def link idrisImport Structure
3238highlight def link idrisModule Structure
3339highlight def link idrisStructure Structure
@@ -47,5 +53,5 @@ highlight def link idrisOperators Operator
4753highlight def link idrisType Include
4854highlight def link idrisLineComment Comment
4955highlight def link idrisBlockComment Comment
50−highlight idrisMetaVar ctermfg=lightred
56+highlight idrisMetaVar ctermfg=red
5157highlight def link idrisString String