git.iko.soy/Idris-dev
on master help sign in
added 'parameters' support to vimscripts
dc01a56raichoo
contribs/tool-support/vim/indent/idris.vim+2−2
compare with master
unifiedsplit
@@ -111,8 +111,8 @@ function! GetIdrisIndent()
111 return match(prevline, '\(namespace\|data\)') + &shiftwidth
111 return match(prevline, '\(namespace\|data\)') + &shiftwidth
112 endif
112 endif
113
113
114− if prevline =~ '^\s*using\s\+([^(]*)\s*$'
114+ if prevline =~ '^\s*\(using\|parameters\)\s*([^(]*)\s*$'
115− return match(prevline, 'using') + &shiftwidth
115+ return match(prevline, '\(using\|parameters\)') + &shiftwidth
116 endif
116 endif
117
117
118 return match(prevline, '\S')
118 return match(prevline, '\S')
contribs/tool-support/vim/syntax/idris.vim+1−1
@@ -10,7 +10,7 @@ syn match idrisModule "\<\(module\|namespace\)\>"
10syn match idrisImport "\<import\>"
10syn match idrisImport "\<import\>"
11syn match idrisStructure "\<\(class\|data\|instance\|where\|record\)\>"
11syn match idrisStructure "\<\(class\|data\|instance\|where\|record\)\>"
12syn match idrisVisibility "\<\(public\|abstract\|private\)\>"
12syn 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\|dsl\|auto\|using\|parameters\)\>"
14syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
14syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
15syn match idrisConditional "\<\(if\|then\|else\)\>"
15syn match idrisConditional "\<\(if\|then\|else\)\>"
16syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\)\>"
16syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\)\>"