b31ae8b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

vim: added assert_total to highlighter

commitb31ae8b7602122690d4e5dcc8313374e72c18054 authorraichoo <raichoo@googlemail.com> dateWed 14 Nov 2012, 20:47 (14 years ago) parent6e7b7cb

1 file changed+1−1

unifiedsplit

contribs/tool-support/vim/syntax/idris.vim+1−1

@@ -23,7 +23,7 @@ syn match idrisType "\<$[A-Z][a-zA-Z0-9_]*\|_|_$\>"

2323syn match idrisLineComment "---*$[^-!#$%&\*\+./<=>\?@\\^|~].*$\?$"

2424syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"

2525syn match idrisLink "%$lib\|link\|include$"

26−syn match idrisDirective "%$access\|default$"

26+syn match idrisDirective "%$access\|default\|assert_total$"

2727syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+

2828syn region idrisBlockComment start="{-" end="-}"

2929syn region idrisProofBlock start="$default\s\+$\?proof *{" end="}" contains=idrisTactic