Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 1 | " Vim indent file |
Bram Moolenaar | 5eb86f9 | 2004-07-26 12:53:41 +0000 | [diff] [blame] | 2 | " Language: OCaml |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 3 | " Maintainers: Jean-Francois Yuen <jfyuen@happycoders.org> |
| 4 | " Mike Leary <leary@nwlink.com> |
| 5 | " Markus Mottl <markus.mottl@gmail.com> |
| 6 | " URL: http://www.ocaml.info/vim/indent/ocaml.vim |
| 7 | " Last Change: 2005 Jun 25 - Fixed multiple bugs due to 'else\nreturn ind' working |
| 8 | " 2005 May 09 - Added an option to not indent OCaml-indents specially (MM) |
| 9 | " 2005 Apr 11 - Fixed an indentation bug concerning "let" (MM) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 10 | |
| 11 | " Only load this indent file when no other was loaded. |
| 12 | if exists("b:did_indent") |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 13 | finish |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 14 | endif |
| 15 | let b:did_indent = 1 |
| 16 | |
| 17 | setlocal expandtab |
| 18 | setlocal indentexpr=GetOCamlIndent() |
Bram Moolenaar | 5eb86f9 | 2004-07-26 12:53:41 +0000 | [diff] [blame] | 19 | setlocal indentkeys+=0=and,0=class,0=constraint,0=done,0=else,0=end,0=exception,0=external,0=if,0=in,0=include,0=inherit,0=initializer,0=let,0=method,0=open,0=then,0=type,0=val,0=with,0;;,0>\],0\|\],0>},0\|,0},0\],0) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 20 | setlocal nolisp |
| 21 | setlocal nosmartindent |
| 22 | setlocal textwidth=80 |
| 23 | |
| 24 | " Comment formatting |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 25 | if !exists("no_ocaml_comments") |
| 26 | if (has("comments")) |
| 27 | setlocal comments=sr:(*,mb:*,ex:*) |
| 28 | setlocal fo=cqort |
| 29 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 30 | endif |
| 31 | |
| 32 | " Only define the function once. |
| 33 | if exists("*GetOCamlIndent") |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 34 | finish |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 35 | endif |
| 36 | |
| 37 | " Define some patterns: |
Bram Moolenaar | 5eb86f9 | 2004-07-26 12:53:41 +0000 | [diff] [blame] | 38 | let s:beflet = '^\s*\(initializer\|method\|try\)\|\(\<\(begin\|do\|else\|in\|then\|try\)\|->\|<-\|=\|;\|(\)\s*$' |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 39 | let s:letpat = '^\s*\(let\|type\|module\|class\|open\|exception\|val\|include\|external\)\>' |
| 40 | let s:letlim = '\(\<\(sig\|struct\)\|;;\)\s*$' |
| 41 | let s:lim = '^\s*\(exception\|external\|include\|let\|module\|open\|type\|val\)\>' |
| 42 | let s:module = '\<\%(begin\|sig\|struct\|object\)\>' |
| 43 | let s:obj = '^\s*\(constraint\|inherit\|initializer\|method\|val\)\>\|\<\(object\|object\s*(.*)\)\s*$' |
Bram Moolenaar | 5eb86f9 | 2004-07-26 12:53:41 +0000 | [diff] [blame] | 44 | let s:type = '^\s*\%(class\|let\|type\)\>.*=' |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 45 | |
| 46 | " Skipping pattern, for comments |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 47 | function s:GetLineWithoutFullComment(lnum) |
| 48 | let lnum = prevnonblank(a:lnum - 1) |
| 49 | let lline = substitute(getline(lnum), '(\*.*\*)\s*$', '', '') |
| 50 | while lline =~ '^\s*$' && lnum > 0 |
| 51 | let lnum = prevnonblank(lnum - 1) |
| 52 | let lline = substitute(getline(lnum), '(\*.*\*)\s*$', '', '') |
| 53 | endwhile |
| 54 | return lnum |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 55 | endfunction |
| 56 | |
| 57 | " Indent for ';;' to match multiple 'let' |
| 58 | function s:GetInd(lnum, pat, lim) |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 59 | let llet = search(a:pat, 'bW') |
| 60 | let old = indent(a:lnum) |
| 61 | while llet > 0 |
| 62 | let old = indent(llet) |
| 63 | let nb = s:GetLineWithoutFullComment(llet) |
| 64 | if getline(nb) =~ a:lim |
| 65 | return old |
| 66 | endif |
| 67 | let llet = search(a:pat, 'bW') |
| 68 | endwhile |
| 69 | return old |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 70 | endfunction |
| 71 | |
| 72 | " Indent pairs |
| 73 | function s:FindPair(pstart, pmid, pend) |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 74 | call search(a:pend, 'bW') |
| 75 | return indent(searchpair(a:pstart, a:pmid, a:pend, 'bWn', 'synIDattr(synID(line("."), col("."), 0), "name") =~? "string\\|comment"')) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 76 | endfunction |
| 77 | |
| 78 | " Indent 'let' |
| 79 | function s:FindLet(pstart, pmid, pend) |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 80 | call search(a:pend, 'bW') |
| 81 | return indent(searchpair(a:pstart, a:pmid, a:pend, 'bWn', 'synIDattr(synID(line("."), col("."), 0), "name") =~? "string\\|comment" || getline(".") =~ "^\\s*let\\>.*=.*\\<in\\s*$" || getline(prevnonblank(".") - 1) =~ s:beflet')) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 82 | endfunction |
| 83 | |
| 84 | function GetOCamlIndent() |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 85 | " Find a non-commented line above the current line. |
| 86 | let lnum = s:GetLineWithoutFullComment(v:lnum) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 87 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 88 | " At the start of the file use zero indent. |
| 89 | if lnum == 0 |
| 90 | return 0 |
| 91 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 92 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 93 | let ind = indent(lnum) |
| 94 | let lline = substitute(getline(lnum), '(\*.*\*)\s*$', '', '') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 95 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 96 | " Return double 'shiftwidth' after lines matching: |
| 97 | if lline =~ '^\s*|.*->\s*$' |
| 98 | return ind + &sw + &sw |
| 99 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 100 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 101 | let line = getline(v:lnum) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 102 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 103 | " Indent if current line begins with 'end': |
| 104 | if line =~ '^\s*end\>' |
| 105 | return s:FindPair(s:module, '','\<end\>') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 106 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 107 | " Indent if current line begins with 'done' for 'do': |
| 108 | elseif line =~ '^\s*done\>' |
| 109 | return s:FindPair('\<do\>', '','\<done\>') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 110 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 111 | " Indent if current line begins with '}' or '>}': |
| 112 | elseif line =~ '^\s*\(\|>\)}' |
| 113 | return s:FindPair('{', '','}') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 114 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 115 | " Indent if current line begins with ']', '|]' or '>]': |
| 116 | elseif line =~ '^\s*\(\||\|>\)\]' |
| 117 | return s:FindPair('\[', '','\]') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 118 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 119 | " Indent if current line begins with ')': |
| 120 | elseif line =~ '^\s*)' |
| 121 | return s:FindPair('(', '',')') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 122 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 123 | " Indent if current line begins with 'let': |
| 124 | elseif line =~ '^\s*let\>' |
| 125 | if lline !~ s:lim . '\|' . s:letlim . '\|' . s:beflet |
| 126 | return s:FindLet(s:type, '','\<let\s*$') |
| 127 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 128 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 129 | " Indent if current line begins with 'class' or 'type': |
| 130 | elseif line =~ '^\s*\(class\|type\)\>' |
| 131 | if lline !~ s:lim . '\|\<and\s*$\|' . s:letlim |
| 132 | return s:FindLet(s:type, '','\<\(class\|type\)\s*$') |
| 133 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 134 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 135 | " Indent for pattern matching: |
| 136 | elseif line =~ '^\s*|' |
| 137 | if lline !~ '^\s*\(|[^\]]\|\(match\|type\|with\)\>\)\|\<\(function\|parser\|private\|with\)\s*$' |
| 138 | call search('|', 'bW') |
| 139 | return indent(searchpair('^\s*\(match\|type\)\>\|\<\(function\|parser\|private\|with\)\s*$', '', '^\s*|', 'bWn', 'synIDattr(synID(line("."), col("."), 0), "name") =~? "string\\|comment" || getline(".") !~ "^\\s*|.*->"')) |
| 140 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 141 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 142 | " Indent if current line begins with ';;': |
| 143 | elseif line =~ '^\s*;;' |
| 144 | if lline !~ ';;\s*$' |
| 145 | return s:GetInd(v:lnum, s:letpat, s:letlim) |
| 146 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 147 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 148 | " Indent if current line begins with 'in': |
| 149 | elseif line =~ '^\s*in\>' |
| 150 | if lline !~ '^\s*\(let\|and\)\>' |
| 151 | return s:FindPair('\<let\>', '', '\<in\>') |
| 152 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 153 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 154 | " Indent if current line begins with 'else': |
| 155 | elseif line =~ '^\s*else\>' |
| 156 | if lline !~ '^\s*\(if\|then\)\>' |
| 157 | return s:FindPair('\<if\>', '', '\<else\>') |
| 158 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 159 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 160 | " Indent if current line begins with 'then': |
| 161 | elseif line =~ '^\s*then\>' |
| 162 | if lline !~ '^\s*\(if\|else\)\>' |
| 163 | return s:FindPair('\<if\>', '', '\<then\>') |
| 164 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 165 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 166 | " Indent if current line begins with 'and': |
| 167 | elseif line =~ '^\s*and\>' |
| 168 | if lline !~ '^\s*\(and\|let\|type\)\>\|\<end\s*$' |
| 169 | return ind - &sw |
| 170 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 171 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 172 | " Indent if current line begins with 'with': |
| 173 | elseif line =~ '^\s*with\>' |
| 174 | if lline !~ '^\s*\(match\|try\)\>' |
| 175 | return s:FindPair('\<\%(match\|try\)\>', '','\<with\>') |
| 176 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 177 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 178 | " Indent if current line begins with 'exception', 'external', 'include' or |
| 179 | " 'open': |
| 180 | elseif line =~ '^\s*\(exception\|external\|include\|open\)\>' |
| 181 | if lline !~ s:lim . '\|' . s:letlim |
| 182 | call search(line) |
| 183 | return indent(search('^\s*\(\(exception\|external\|include\|open\|type\)\>\|val\>.*:\)', 'bW')) |
| 184 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 185 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 186 | " Indent if current line begins with 'val': |
| 187 | elseif line =~ '^\s*val\>' |
| 188 | if lline !~ '^\s*\(exception\|external\|include\|open\)\>\|' . s:obj . '\|' . s:letlim |
| 189 | return indent(search('^\s*\(\(exception\|include\|initializer\|method\|open\|type\|val\)\>\|external\>.*:\)', 'bW')) |
| 190 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 191 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 192 | " Indent if current line begins with 'constraint', 'inherit', 'initializer' |
| 193 | " or 'method': |
| 194 | elseif line =~ '^\s*\(constraint\|inherit\|initializer\|method\)\>' |
| 195 | if lline !~ s:obj |
| 196 | return indent(search('\<\(object\|object\s*(.*)\)\s*$', 'bW')) + &sw |
| 197 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 198 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 199 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 200 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 201 | " Add a 'shiftwidth' after lines ending with: |
| 202 | if lline =~ '\(:\|=\|->\|<-\|(\|\[\|{\|{<\|\[|\|\[<\|\<\(begin\|do\|else\|fun\|function\|functor\|if\|initializer\|object\|parser\|private\|sig\|struct\|then\|try\)\|\<object\s*(.*)\)\s*$' |
| 203 | let ind = ind + &sw |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 204 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 205 | " Back to normal indent after lines ending with ';;': |
| 206 | elseif lline =~ ';;\s*$' && lline !~ '^\s*;;' |
| 207 | let ind = s:GetInd(v:lnum, s:letpat, s:letlim) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 208 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 209 | " Back to normal indent after lines ending with 'end': |
| 210 | elseif lline =~ '\<end\s*$' |
| 211 | let ind = s:FindPair(s:module, '','\<end\>') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 212 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 213 | " Back to normal indent after lines ending with 'in': |
| 214 | elseif lline =~ '\<in\s*$' && lline !~ '^\s*in\>' |
| 215 | let ind = s:FindPair('\<let\>', '', '\<in\>') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 216 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 217 | " Back to normal indent after lines ending with 'done': |
| 218 | elseif lline =~ '\<done\s*$' |
| 219 | let ind = s:FindPair('\<do\>', '','\<done\>') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 220 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 221 | " Back to normal indent after lines ending with '}' or '>}': |
| 222 | elseif lline =~ '\(\|>\)}\s*$' |
| 223 | let ind = s:FindPair('{', '','}') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 224 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 225 | " Back to normal indent after lines ending with ']', '|]' or '>]': |
| 226 | elseif lline =~ '\(\||\|>\)\]\s*$' |
| 227 | let ind = s:FindPair('\[', '','\]') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 228 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 229 | " Back to normal indent after comments: |
| 230 | elseif lline =~ '\*)\s*$' |
| 231 | call search('\*)', 'bW') |
| 232 | let ind = indent(searchpair('(\*', '', '\*)', 'bWn', 'synIDattr(synID(line("."), col("."), 0), "name") =~? "string"')) |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 233 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 234 | " Back to normal indent after lines ending with ')': |
| 235 | elseif lline =~ ')\s*$' |
| 236 | let ind = s:FindPair('(', '',')') |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 237 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 238 | " If this is a multiline comment then align '*': |
| 239 | elseif lline =~ '^\s*(\*' && line =~ '^\s*\*' |
| 240 | let ind = ind + 1 |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 241 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 242 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 243 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 244 | " Subtract a 'shiftwidth' after lines matching 'match ... with parser': |
| 245 | if lline =~ '\<match\>.*\<with\>\s*\<parser\s*$' |
| 246 | let ind = ind - &sw |
| 247 | endif |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 248 | |
Bram Moolenaar | 95b28ec | 2005-10-11 20:32:28 +0000 | [diff] [blame] | 249 | return ind |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 250 | |
| 251 | endfunction |
| 252 | |
| 253 | " vim:sw=2 |