git.iko.soy/Idris-dev
on master help sign in
vim: readded partial to highligher
commit6e7b7cb08d39ff8ad0e7edf46eac54eaeb7831d6 authorraichoo <raichoo@googlemail.com> dateWed 14 Nov 2012, 20:47 (14 years ago) parent449bb27
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\|parameters\|mutual\)\>"
13+syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\|total\|partial\|dsl\|auto\|using\|parameters\|mutual\)\>"
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\)\>"