@@ -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: Mar 20 2013
7+" date: May 3 2013
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
@@ -31,12 +31,6 @@ syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
31syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
31syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
32syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
32syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
34−syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
35−syn match idrisBadTrailingWhiteSpace "\s\+$"
37−highlight idrisBadLeadingWhiteSpace ctermbg=red
38−highlight idrisBadTrailingWhiteSpace ctermbg=red
40highlight def link idrisImport Structure
34highlight def link idrisImport Structure
41highlight def link idrisModule Structure
35highlight def link idrisModule Structure
42highlight def link idrisStructure Structure
36highlight def link idrisStructure Structure