53024f8 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

vim mutual blocks

commit53024f868fe544cc9827a0bdf99a2d4780dc695e authorraichoo <raichoo@googlemail.com> dateWed 31 Oct 2012, 10:46 (14 years ago) parentaf66f25

2 files changed+5−1

unifiedsplit

contribs/tool-support/vim/indent/idris.vim+4

@@ -115,5 +115,9 @@ function! GetIdrisIndent()

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

116116 endif

117117

118+ if prevline =~ '^\s*mutual\s*$'

119+ return match(prevline, 'mutual') + &shiftwidth

120+ endif

121+

118122 return match(prevline, '\S')

119123endfunction

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$\>"

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

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