@@ -4,13 +4,15 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: Nov 13 2012
7+" date: Feb 25 2013
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
11−syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\)\>"
11+syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\|dsl\)\>"
1212syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
13−syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\|total\|partial\|dsl\|auto\|using\|parameters\|mutual\|impossible\|postulate\)\>"
13+syn match idrisBlock "\<\(parameters\|mutual\|postulate\|using\)\>"
14+syn match idrisAnnotation "\<\(total\|partial\|auto\|impossible\|static\|implicit\)\>"
15+syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\)\>"
1416syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
1517syn match idrisConditional "\<\(if\|then\|else\)\>"
1618syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\)\>"
@@ -38,6 +40,8 @@ highlight def link idrisImport Structure
3840highlight def link idrisModule Structure
3941highlight def link idrisStructure Structure
4042highlight def link idrisStatement Statement
43+highlight def link idrisBlock Statement
44+highlight def link idrisAnnotation Statement
4145highlight def link idrisSyntax Statement
4246highlight def link idrisVisibility Statement
4347highlight def link idrisConditional Conditional