git.iko.soy/Idris-dev
on master help sign in
vim partial keyword
commita76852cf382decc0e8d775e503ae043eebd3dfe1 authorraichoo <raichoo@googlemail.com> dateTue 23 Oct 2012, 21:13 (14 years ago) parente49241d
1 file changed+1−1
compare with master
unifiedsplit
contribs/tool-support/vim/syntax/idris.vim+1−1
contribs/tool-support/vim/syntax/idris.vim+1−1
@@ -10,7 +10,7 @@ syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"
1111syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\)\>"
1212syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
13−syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\|total\|dsl\|auto\|using\)\>"
13+syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\|total\|\|partial\|dsl\|auto\|using\)\>"
1414syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
1515syn match idrisConditional "\<\(if\|then\|else\)\>"
1616syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\)\>"