@@ -4,10 +4,11 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: May 24 2013
7+" date: Aug 10 2013
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
11+syn match idrisRefl "\<refl\>"
1112syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\|dsl\)\>"
1213syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
1314syn match idrisBlock "\<\(parameters\|mutual\|postulate\|using\)\>"
@@ -23,7 +24,7 @@ syn match idrisInfix "\<\(prefix\|infix\|infixl\|infixr\)\>"
2324syn match idrisOperators "\([-!#$%&\*\+./<=>\?@\\^|~:]\|\<_\>\)"
2425syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
2526syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
26−syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
27+syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+'*"
2728syn match idrisLink "%\(lib\|link\|include\)"
2829syn match idrisDirective "%\(access\|default\|assert_total\)"
2930syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
@@ -44,6 +45,7 @@ highlight def link idrisSyntax Statement
4445highlight def link idrisVisibility Statement
4546highlight def link idrisConditional Conditional
4647highlight def link idrisProofBlock Macro
48+highlight def link idrisRefl Macro
4749highlight def link idrisTactic Identifier
4850highlight def link idrisLink Statement
4951highlight def link idrisDirective Statement