@@ -4,7 +4,7 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: Mar 11 2013
7+" date: Mar 12 2013
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
@@ -26,6 +26,7 @@ syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
2626syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
2727syn match idrisLink "%\(lib\|link\|include\)"
2828syn match idrisDirective "%\(access\|default\|assert_total\)"
29+syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
2930syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
3031syn region idrisBlockComment start="{-" end="-}"
3132syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
@@ -40,6 +41,7 @@ highlight def link idrisImport Structure
4041highlight def link idrisModule Structure
4142highlight def link idrisStructure Structure
4243highlight def link idrisStatement Statement
44+highlight def link idrisDSL Statement
4345highlight def link idrisBlock Statement
4446highlight def link idrisAnnotation Statement
4547highlight def link idrisSyntax Statement