@@ -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: May 3 2013
7+" date: May 24 2013
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
@@ -27,6 +27,8 @@ syn 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\)"
29syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
29syn 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_]*`"
30syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
32syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
31syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
33syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
32syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
34syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
@@ -42,7 +44,7 @@ highlight def link idrisSyntax Statement
42highlight def link idrisVisibility Statement
44highlight def link idrisVisibility Statement
43highlight def link idrisConditional Conditional
45highlight def link idrisConditional Conditional
44highlight def link idrisProofBlock Macro
46highlight def link idrisProofBlock Macro
45−highlight idrisTactic ctermfg=cyan
47+highlight def link idrisTactic Identifier
46highlight def link idrisLink Statement
48highlight def link idrisLink Statement
47highlight def link idrisDirective Statement
49highlight def link idrisDirective Statement
48highlight def link idrisNumber Number
50highlight def link idrisNumber Number
@@ -53,5 +55,7 @@ highlight def link idrisOperators Operator
53highlight def link idrisType Include
55highlight def link idrisType Include
54highlight def link idrisLineComment Comment
56highlight def link idrisLineComment Comment
55highlight def link idrisBlockComment Comment
57highlight def link idrisBlockComment Comment
56−highlight idrisMetaVar ctermfg=red
58+highlight def link idrisMetaVar Identifier
57highlight def link idrisString String
59highlight def link idrisString String
60+highlight def link idrisChar String
61+highlight def link idrisBacktick Operator