@@ -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 11 2013
7+" date: Mar 12 2013
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
@@ -26,6 +26,7 @@ syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
26syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
26syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
27syn match idrisLink "%\(lib\|link\|include\)"
27syn match idrisLink "%\(lib\|link\|include\)"
28syn match idrisDirective "%\(access\|default\|assert_total\)"
28syn match idrisDirective "%\(access\|default\|assert_total\)"
29+syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
29syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
30syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
30syn region idrisBlockComment start="{-" end="-}"
31syn region idrisBlockComment start="{-" end="-}"
31syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
32syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
@@ -40,6 +41,7 @@ highlight def link idrisImport Structure
40highlight def link idrisModule Structure
41highlight def link idrisModule Structure
41highlight def link idrisStructure Structure
42highlight def link idrisStructure Structure
42highlight def link idrisStatement Statement
43highlight def link idrisStatement Statement
44+highlight def link idrisDSL Statement
43highlight def link idrisBlock Statement
45highlight def link idrisBlock Statement
44highlight def link idrisAnnotation Statement
46highlight def link idrisAnnotation Statement
45highlight def link idrisSyntax Statement
47highlight def link idrisSyntax Statement