git.iko.soy/Idris-dev
on master help sign in
vim: highlight chars and infixed functions
82b52b0raichoo
contribs/tool-support/vim/syntax/idris.vim+5−1
compare with master
unifiedsplit
@@ -4,7 +4,7 @@
4" highlighter to support idris.
4" highlighter to support idris.
5"
5"
6" author: raichoo (raichoo@googlemail.com)
6" author: raichoo (raichoo@googlemail.com)
7−" date: May 3 2013
7+" date: May 24 2013
8
8
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
@@ -55,3 +57,5 @@ highlight def link idrisLineComment Comment
55highlight def link idrisBlockComment Comment
57highlight def link idrisBlockComment Comment
56highlight idrisMetaVar ctermfg=red
58highlight idrisMetaVar ctermfg=red
57highlight def link idrisString String
59highlight def link idrisString String
60+highlight def link idrisChar String
61+highlight def link idrisBacktick Operator