git.iko.soy/Idris-dev
on master help sign in
Merge pull request #88 from raichoo/vim

Vim

commitab3931ad6092792c92392dba9ed2d16978af7ed0 authorEdwin Brady <edwin.brady@gmail.com> dateTue 20 Nov 2012, 16:06 (14 years ago) parentbbe9dc1f0794c6
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\|partial\|dsl\|auto\|using\|parameters\|mutual\)\>"
13+syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\|total\|partial\|dsl\|auto\|using\|parameters\|mutual\|impossible\)\>"
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\)\>"