@@ -4,10 +4,11 @@
4" highlighter to support idris.
4" highlighter to support idris.
6" author: raichoo (raichoo@googlemail.com)
6" author: raichoo (raichoo@googlemail.com)
7−" date: May 24 2013
7+" date: Aug 10 2013
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
11+syn match idrisRefl "\<refl\>"
11syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\|dsl\)\>"
12syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\|dsl\)\>"
12syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
13syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
13syn match idrisBlock "\<\(parameters\|mutual\|postulate\|using\)\>"
14syn match idrisBlock "\<\(parameters\|mutual\|postulate\|using\)\>"
@@ -23,7 +24,7 @@ syn match idrisInfix "\<\(prefix\|infix\|infixl\|infixr\)\>"
23syn match idrisOperators "\([-!#$%&\*\+./<=>\?@\\^|~:]\|\<_\>\)"
24syn match idrisOperators "\([-!#$%&\*\+./<=>\?@\\^|~:]\|\<_\>\)"
24syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
25syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
25syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
26syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
26−syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
27+syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+'*"
27syn match idrisLink "%\(lib\|link\|include\)"
28syn match idrisLink "%\(lib\|link\|include\)"
28syn match idrisDirective "%\(access\|default\|assert_total\)"
29syn match idrisDirective "%\(access\|default\|assert_total\)"
29syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
30syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
@@ -44,6 +45,7 @@ highlight def link idrisSyntax Statement
44highlight def link idrisVisibility Statement
45highlight def link idrisVisibility Statement
45highlight def link idrisConditional Conditional
46highlight def link idrisConditional Conditional
46highlight def link idrisProofBlock Macro
47highlight def link idrisProofBlock Macro
48+highlight def link idrisRefl Macro
47highlight def link idrisTactic Identifier
49highlight def link idrisTactic Identifier
48highlight def link idrisLink Statement
50highlight def link idrisLink Statement
49highlight def link idrisDirective Statement
51highlight def link idrisDirective Statement