git.iko.soy/Idris-dev
on master help sign in
vim: added assert_total to highlighter
b31ae8braichoo
contribs/tool-support/vim/syntax/idris.vim+1−1
compare with master
unifiedsplit
@@ -23,7 +23,7 @@ syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
23syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
23syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
24syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
24syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
25syn match idrisLink "%\(lib\|link\|include\)"
25syn match idrisLink "%\(lib\|link\|include\)"
26−syn match idrisDirective "%\(access\|default\)"
26+syn match idrisDirective "%\(access\|default\|assert_total\)"
27syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
27syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
28syn region idrisBlockComment start="{-" end="-}"
28syn region idrisBlockComment start="{-" end="-}"
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic