git.iko.soy/Idris-dev
on master help sign in
vim: highlight metavars with quotes
0cf168craichoo
contribs/tool-support/vim/syntax/idris.vim+1−1
compare with master
unifiedsplit
@@ -24,7 +24,7 @@ syn match idrisInfix "\<\(prefix\|infix\|infixl\|infixr\)\>"
24syn match idrisOperators "\([-!#$%&\*\+./<=>\?@\\^|~:]\|\<_\>\)"
24syn match idrisOperators "\([-!#$%&\*\+./<=>\?@\\^|~:]\|\<_\>\)"
25syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
25syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
26syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
26syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
27−syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
27+syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+'*"
28syn match idrisLink "%\(lib\|link\|include\)"
28syn match idrisLink "%\(lib\|link\|include\)"
29syn match idrisDirective "%\(access\|default\|assert_total\)"
29syn match idrisDirective "%\(access\|default\|assert_total\)"
30syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
30syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"