on master help sign in
vim: highlight metavars with quotes
commit0cf168c119b4eaca43b3671d4e271f31d344644b authorraichoo <raichoo@googlemail.com> dateSat 10 Aug 2013, 01:40 (13 years ago) parentebbdead
1 file changed+1−1
contribs/tool-support/vim/syntax/idris.vim+1−1
contribs/tool-support/vim/syntax/idris.vim+1−1
@@ -24,7 +24,7 @@ syn match idrisInfix "\<\(prefix\|infix\|infixl\|infixr\)\>"
2424syn match idrisOperators "\([-!#$%&\*\+./<=>\?@\\^|~:]\|\<_\>\)"
2525syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
2626syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
27−syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
27+syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+'*"
2828syn match idrisLink "%\(lib\|link\|include\)"
2929syn match idrisDirective "%\(access\|default\|assert_total\)"
3030syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"