@@ -4,7 +4,7 @@
4" highlighter to support idris.
4" highlighter to support idris.
6" author: raichoo (raichoo@googlemail.com)
6" author: raichoo (raichoo@googlemail.com)
7−" date: Oct 31 2012
7+" date: Nov 13 2012
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
@@ -28,6 +28,12 @@ syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
28syn region idrisBlockComment start="{-" end="-}"
28syn region idrisBlockComment start="{-" end="-}"
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
31+syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
32+syn match idrisBadTrailingWhiteSpace "\s\+$"
34+highlight idrisBadLeadingWhiteSpace ctermbg=red
35+highlight idrisBadTrailingWhiteSpace ctermbg=red
31highlight def link idrisImport Structure
37highlight def link idrisImport Structure
32highlight def link idrisModule Structure
38highlight def link idrisModule Structure
33highlight def link idrisStructure Structure
39highlight def link idrisStructure Structure
@@ -47,5 +53,5 @@ highlight def link idrisOperators Operator
47highlight def link idrisType Include
53highlight def link idrisType Include
48highlight def link idrisLineComment Comment
54highlight def link idrisLineComment Comment
49highlight def link idrisBlockComment Comment
55highlight def link idrisBlockComment Comment
50−highlight idrisMetaVar ctermfg=lightred
56+highlight idrisMetaVar ctermfg=red
51highlight def link idrisString String
57highlight def link idrisString String