@@ -4,7 +4,7 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: May 3 2013
7+" date: May 24 2013
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
@@ -27,6 +27,8 @@ syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
2727syn match idrisLink "%\(lib\|link\|include\)"
2828syn match idrisDirective "%\(access\|default\|assert_total\)"
2929syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
30+syn match idrisChar "'[^'\\]'\|'\\.'\|'\\u[0-9a-fA-F]\{4}'"
31+syn match idrisBacktick "`[A-Za-z][A-Za-z0-9_]*`"
3032syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
3133syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
3234syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
@@ -42,7 +44,7 @@ highlight def link idrisSyntax Statement
4244highlight def link idrisVisibility Statement
4345highlight def link idrisConditional Conditional
4446highlight def link idrisProofBlock Macro
45−highlight idrisTactic ctermfg=cyan
47+highlight def link idrisTactic Identifier
4648highlight def link idrisLink Statement
4749highlight def link idrisDirective Statement
4850highlight def link idrisNumber Number
@@ -53,5 +55,7 @@ highlight def link idrisOperators Operator
5355highlight def link idrisType Include
5456highlight def link idrisLineComment Comment
5557highlight def link idrisBlockComment Comment
56−highlight idrisMetaVar ctermfg=red
58+highlight def link idrisMetaVar Identifier
5759highlight def link idrisString String
60+highlight def link idrisChar String
61+highlight def link idrisBacktick Operator