dc01a56 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

added 'parameters' support to vimscripts

commitdc01a56d8007d704e0cd48a5597fe140cdf0894f authorraichoo <raichoo@googlemail.com> dateMon 22 Oct 2012, 19:20 (14 years ago) parent0fd9a47

2 files changed+3−3

unifiedsplit

contribs/tool-support/vim/indent/idris.vim+2−2

@@ -111,8 +111,8 @@ function! GetIdrisIndent()

111111 return match(prevline, '$namespace\|data$') + &shiftwidth

112112 endif

113113

114− if prevline =~ '^\s*using\s\+([^(]*)\s*$'

115− return match(prevline, 'using') + &shiftwidth

114+ if prevline =~ '^\s*$using\|parameters$\s*([^(]*)\s*$'

115+ return match(prevline, '$using\|parameters$') + &shiftwidth

116116 endif

117117

118118 return match(prevline, '\S')

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\|data\|instance\|where\|record$\>"

1212syn match idrisVisibility "\<$public\|abstract\|private$\>"

1414syn match idrisSyntax "$pattern \+\|term \+$\?syntax"

1515syn match idrisConditional "\<$if\|then\|else$\>"