@@ -4,7 +4,7 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: Mar 20 2013
7+" date: May 3 2013
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
@@ -31,12 +31,6 @@ syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
3131syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
3232syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
3333
34−syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
35−syn match idrisBadTrailingWhiteSpace "\s\+$"
36−
37−highlight idrisBadLeadingWhiteSpace ctermbg=red
38−highlight idrisBadTrailingWhiteSpace ctermbg=red
39−
4034highlight def link idrisImport Structure
4135highlight def link idrisModule Structure
4236highlight def link idrisStructure Structure