git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:edwinb/Idris-dev
15cdb1aEdwin Brady
contribs/tool-support/vim/syntax/idris.vim+7−3
compare with master
unifiedsplit
@@ -4,13 +4,15 @@
4" highlighter to support idris.
4" highlighter to support idris.
5"
5"
6" author: raichoo (raichoo@googlemail.com)
6" author: raichoo (raichoo@googlemail.com)
7−" date: Nov 13 2012
7+" date: Feb 25 2013
8
8
9syn match idrisModule "\<\(module\|namespace\)\>"
9syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
11−syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\)\>"
11+syn match idrisStructure "\<\(class\|\(co\)\?data\|instance\|where\|record\|dsl\)\>"
12syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
12syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
13+syn match idrisBlock "\<\(parameters\|mutual\|postulate\|using\)\>"
14+syn match idrisAnnotation "\<\(total\|partial\|auto\|impossible\|static\|implicit\)\>"
13−syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\|total\|partial\|dsl\|auto\|using\|parameters\|mutual\|impossible\|postulate\)\>"
15+syn match idrisStatement "\<\(do\|case\|of\|let\|in\|with\)\>"
14syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
16syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
15syn match idrisConditional "\<\(if\|then\|else\)\>"
17syn match idrisConditional "\<\(if\|then\|else\)\>"
16syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\)\>"
18syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\)\>"
@@ -38,6 +40,8 @@ highlight def link idrisImport Structure
38highlight def link idrisModule Structure
40highlight def link idrisModule Structure
39highlight def link idrisStructure Structure
41highlight def link idrisStructure Structure
40highlight def link idrisStatement Statement
42highlight def link idrisStatement Statement
43+highlight def link idrisBlock Statement
44+highlight def link idrisAnnotation Statement
41highlight def link idrisSyntax Statement
45highlight def link idrisSyntax Statement
42highlight def link idrisVisibility Statement
46highlight def link idrisVisibility Statement
43highlight def link idrisConditional Conditional
47highlight def link idrisConditional Conditional