Gecko [ v99win.today ]

Name	Size	Permission
8th.vim	833 B	-rw-r--r--
a2ps.vim	470 B	-rw-r--r--
aap.vim	979 B	-rw-r--r--
abap.vim	800 B	-rw-r--r--
abaqus.vim	3.31 KB	-rw-r--r--
ada.vim	6.35 KB	-rw-r--r--
alsaconf.vim	438 B	-rw-r--r--
ant.vim	1.31 KB	-rw-r--r--
arch.vim	431 B	-rw-r--r--
art.vim	410 B	-rw-r--r--
asm.vim	271 B	-rw-r--r--
aspvbs.vim	1.87 KB	-rw-r--r--
automake.vim	337 B	-rw-r--r--
awk.vim	1.47 KB	-rw-r--r--
bash.vim	474 B	-rw-r--r--
basic.vim	625 B	-rw-r--r--
bdf.vim	449 B	-rw-r--r--
bst.vim	333 B	-rw-r--r--
btm.vim	316 B	-rw-r--r--
bzl.vim	3.03 KB	-rw-r--r--
c.vim	2.22 KB	-rw-r--r--
calendar.vim	462 B	-rw-r--r--
cdrdaoconf.vim	383 B	-rw-r--r--
cfg.vim	388 B	-rw-r--r--
ch.vim	472 B	-rw-r--r--
changelog.vim	9.09 KB	-rw-r--r--
chicken.vim	1.68 KB	-rw-r--r--
clojure.vim	3.33 KB	-rw-r--r--
cmake.vim	867 B	-rw-r--r--
cobol.vim	9.35 KB	-rw-r--r--
conf.vim	434 B	-rw-r--r--
config.vim	1.24 KB	-rw-r--r--
context.vim	5.26 KB	-rw-r--r--
cpp.vim	468 B	-rw-r--r--
crm.vim	414 B	-rw-r--r--
cs.vim	802 B	-rw-r--r--
csc.vim	734 B	-rw-r--r--
csh.vim	1.73 KB	-rw-r--r--
css.vim	586 B	-rw-r--r--
cucumber.vim	5 KB	-rw-r--r--
cvsrc.vim	399 B	-rw-r--r--
debchangelog.vim	11.18 KB	-rw-r--r--
debcontrol.vim	1.8 KB	-rw-r--r--
denyhosts.vim	383 B	-rw-r--r--
dictconf.vim	434 B	-rw-r--r--
dictdconf.vim	435 B	-rw-r--r--
diff.vim	677 B	-rw-r--r--
dircolors.vim	431 B	-rw-r--r--
docbk.vim	530 B	-rw-r--r--
dockerfile.vim	356 B	-rw-r--r--
dosbatch.vim	1011 B	-rw-r--r--
dosini.vim	459 B	-rw-r--r--
dtd.vim	1.1 KB	-rw-r--r--
dtrace.vim	1.12 KB	-rw-r--r--
dune.vim	502 B	-rw-r--r--
eiffel.vim	3.99 KB	-rw-r--r--
elinks.vim	436 B	-rw-r--r--
elm.vim	329 B	-rw-r--r--
erlang.vim	2.03 KB	-rw-r--r--
eruby.vim	4.6 KB	-rw-r--r--
eterm.vim	470 B	-rw-r--r--
falcon.vim	1.32 KB	-rw-r--r--
fetchmail.vim	428 B	-rw-r--r--
flexwiki.vim	1.83 KB	-rw-r--r--
fortran.vim	4.95 KB	-rw-r--r--
fpcmake.vim	592 B	-rw-r--r--
framescript.vim	780 B	-rw-r--r--
freebasic.vim	234 B	-rw-r--r--
fstab.vim	426 B	-rw-r--r--
fvwm.vim	390 B	-rw-r--r--
gdb.vim	293 B	-rw-r--r--
git.vim	1.34 KB	-rw-r--r--
gitcommit.vim	2.26 KB	-rw-r--r--
gitconfig.vim	376 B	-rw-r--r--
gitrebase.vim	1.9 KB	-rw-r--r--
gitsendemail.vim	157 B	-rw-r--r--
go.vim	365 B	-rw-r--r--
gpg.vim	433 B	-rw-r--r--
gprof.vim	1.09 KB	-rw-r--r--
groovy.vim	343 B	-rw-r--r--
group.vim	425 B	-rw-r--r--
grub.vim	434 B	-rw-r--r--
haml.vim	1.94 KB	-rw-r--r--
hamster.vim	1.92 KB	-rw-r--r--
haskell.vim	551 B	-rw-r--r--
help.vim	471 B	-rw-r--r--
hgcommit.vim	363 B	-rw-r--r--
hog.vim	1.36 KB	-rw-r--r--
hostconf.vim	383 B	-rw-r--r--
hostsaccess.vim	436 B	-rw-r--r--
html.vim	1.59 KB	-rw-r--r--
htmldjango.vim	331 B	-rw-r--r--
i3config.vim	333 B	-rw-r--r--
indent.vim	487 B	-rw-r--r--
initex.vim	1005 B	-rw-r--r--
ishd.vim	1.23 KB	-rw-r--r--
j.vim	3.31 KB	-rw-r--r--
java.vim	1.65 KB	-rw-r--r--
javascript.vim	2.54 KB	-rw-r--r--
javascriptreact.vim	244 B	-rw-r--r--
jproperties.vim	292 B	-rw-r--r--
json.vim	360 B	-rw-r--r--
jsonc.vim	677 B	-rw-r--r--
jsp.vim	1.96 KB	-rw-r--r--
julia.vim	3.7 KB	-rw-r--r--
kconfig.vim	703 B	-rw-r--r--
kwt.vim	851 B	-rw-r--r--
ld.vim	470 B	-rw-r--r--
less.vim	502 B	-rw-r--r--
lftp.vim	434 B	-rw-r--r--
libao.vim	440 B	-rw-r--r--
limits.vim	436 B	-rw-r--r--
liquid.vim	1.85 KB	-rw-r--r--
lisp.vim	759 B	-rw-r--r--
logcheck.vim	453 B	-rw-r--r--
loginaccess.vim	442 B	-rw-r--r--
logindefs.vim	440 B	-rw-r--r--
logtalk.dict	3.02 KB	-rw-r--r--
logtalk.vim	416 B	-rw-r--r--
lprolog.vim	1.25 KB	-rw-r--r--
lua.vim	1.3 KB	-rw-r--r--
m3build.vim	553 B	-rw-r--r--
m3quake.vim	848 B	-rw-r--r--
m4.vim	426 B	-rw-r--r--
mail.vim	1.36 KB	-rw-r--r--
mailaliases.vim	383 B	-rw-r--r--
mailcap.vim	434 B	-rw-r--r--
make.vim	1.03 KB	-rw-r--r--
man.vim	6.42 KB	-rw-r--r--
manconf.vim	444 B	-rw-r--r--
markdown.vim	1.92 KB	-rw-r--r--
masm.vim	390 B	-rw-r--r--
matlab.vim	835 B	-rw-r--r--
meson.vim	1.12 KB	-rw-r--r--
mf.vim	3.17 KB	-rw-r--r--
mma.vim	366 B	-rw-r--r--
modconf.vim	477 B	-rw-r--r--
modula2.vim	1.06 KB	-rw-r--r--
modula3.vim	1003 B	-rw-r--r--
mp.vim	3.63 KB	-rw-r--r--
mplayerconf.vim	472 B	-rw-r--r--
mrxvtrc.vim	798 B	-rw-r--r--
msmessages.vim	1.11 KB	-rw-r--r--
muttrc.vim	467 B	-rw-r--r--
nanorc.vim	447 B	-rw-r--r--
neomuttrc.vim	532 B	-rw-r--r--
netrc.vim	428 B	-rw-r--r--
nginx.vim	144 B	-rw-r--r--
nroff.vim	424 B	-rw-r--r--
nsis.vim	1.31 KB	-rw-r--r--
objc.vim	296 B	-rw-r--r--
ocaml.vim	23.2 KB	-rw-r--r--
occam.vim	1.27 KB	-rw-r--r--
octave.vim	2.15 KB	-rw-r--r--
pamconf.vim	433 B	-rw-r--r--
pascal.vim	1.55 KB	-rw-r--r--
passwd.vim	424 B	-rw-r--r--
pbtxt.vim	438 B	-rw-r--r--
pdf.vim	2.55 KB	-rw-r--r--
perl.vim	2.79 KB	-rw-r--r--
php.vim	2.75 KB	-rw-r--r--
pinfo.vim	435 B	-rw-r--r--
plaintex.vim	1.12 KB	-rw-r--r--
poke.vim	744 B	-rw-r--r--
postscr.vim	1006 B	-rw-r--r--
procmail.vim	479 B	-rw-r--r--
prolog.vim	440 B	-rw-r--r--
protocols.vim	457 B	-rw-r--r--
ps1.vim	2.36 KB	-rw-r--r--
ps1xml.vim	1009 B	-rw-r--r--
pyrex.vim	766 B	-rw-r--r--
python.vim	7.78 KB	-rw-r--r--
qf.vim	508 B	-rw-r--r--
quake.vim	439 B	-rw-r--r--
r.vim	878 B	-rw-r--r--
racc.vim	449 B	-rw-r--r--
raku.vim	4.02 KB	-rw-r--r--
readline.vim	438 B	-rw-r--r--
registry.vim	740 B	-rw-r--r--
reva.vim	709 B	-rw-r--r--
rhelp.vim	758 B	-rw-r--r--
rmd.vim	1.79 KB	-rw-r--r--
rnc.vim	431 B	-rw-r--r--
rnoweb.vim	1.03 KB	-rw-r--r--
routeros.vim	682 B	-rw-r--r--
rpl.vim	621 B	-rw-r--r--
rrst.vim	1.56 KB	-rw-r--r--
rst.vim	1.37 KB	-rw-r--r--
ruby.vim	16.88 KB	-rw-r--r--
rust.vim	6.42 KB	-rw-r--r--
sass.vim	977 B	-rw-r--r--
sbt.vim	347 B	-rw-r--r--
scala.vim	1.12 KB	-rw-r--r--
scdoc.vim	577 B	-rw-r--r--
scheme.vim	1.41 KB	-rw-r--r--
screen.vim	436 B	-rw-r--r--
scss.vim	239 B	-rw-r--r--
sensors.vim	455 B	-rw-r--r--
services.vim	452 B	-rw-r--r--
setserial.vim	439 B	-rw-r--r--
sexplib.vim	348 B	-rw-r--r--
sgml.vim	1.18 KB	-rw-r--r--
sh.vim	1.17 KB	-rw-r--r--
sieve.vim	469 B	-rw-r--r--
slpconf.vim	477 B	-rw-r--r--
slpreg.vim	476 B	-rw-r--r--
slpspi.vim	467 B	-rw-r--r--
solution.vim	959 B	-rw-r--r--
spec.vim	5.63 KB	-rw-r--r--
sql.vim	21.11 KB	-rw-r--r--
sshconfig.vim	441 B	-rw-r--r--
sudoers.vim	438 B	-rw-r--r--
svg.vim	1.17 KB	-rw-r--r--
swift.vim	733 B	-rw-r--r--
swiftgyb.vim	421 B	-rw-r--r--
sysctl.vim	453 B	-rw-r--r--
systemd.vim	1.23 KB	-rw-r--r--
systemverilog.vim	1.25 KB	-rw-r--r--
tcl.vim	1002 B	-rw-r--r--
tcsh.vim	1004 B	-rw-r--r--
terminfo.vim	430 B	-rw-r--r--
tex.vim	1.6 KB	-rw-r--r--
text.vim	498 B	-rw-r--r--
tidy.vim	861 B	-rw-r--r--
tmux.vim	372 B	-rw-r--r--
toml.vim	464 B	-rw-r--r--
treetop.vim	416 B	-rw-r--r--
tt2html.vim	434 B	-rw-r--r--
typescript.vim	1.18 KB	-rw-r--r--
typescriptreact.vim	787 B	-rw-r--r--
udevconf.vim	434 B	-rw-r--r--
udevperm.vim	432 B	-rw-r--r--
udevrules.vim	426 B	-rw-r--r--
updatedb.vim	443 B	-rw-r--r--
vb.vim	3.39 KB	-rw-r--r--
verilog.vim	1.93 KB	-rw-r--r--
vhdl.vim	3.42 KB	-rw-r--r--
vim.vim	4.39 KB	-rw-r--r--
vroom.vim	924 B	-rw-r--r--
wast.vim	470 B	-rw-r--r--
xdefaults.vim	481 B	-rw-r--r--
xf86conf.vim	434 B	-rw-r--r--
xhtml.vim	1.99 KB	-rw-r--r--
xinetd.vim	476 B	-rw-r--r--
xml.vim	2.2 KB	-rw-r--r--
xmodmap.vim	434 B	-rw-r--r--
xs.vim	465 B	-rw-r--r--
xsd.vim	1.14 KB	-rw-r--r--
xslt.vim	539 B	-rw-r--r--
yaml.vim	628 B	-rw-r--r--
zimbu.vim	7.26 KB	-rw-r--r--
zsh.vim	1.43 KB	-rw-r--r--

Code Editor : ocaml.vim

" Language:    OCaml
" Maintainer:  David Baelde        <firstname.name@ens-lyon.org>
"              Mike Leary          <leary@nwlink.com>
"              Markus Mottl        <markus.mottl@gmail.com>
"              Pierre Vittet       <pierre-vittet@pvittet.com>
"              Stefano Zacchiroli  <zack@bononia.it>
"              Vincent Aravantinos <firstname.name@imag.fr>
" URL:         https://github.com/ocaml/vim-ocaml
" Last Change:
"              2013 Oct 27 - Added commentstring (MM)
"              2013 Jul 26 - load default compiler settings (MM)
"              2013 Jul 24 - removed superfluous efm-setting (MM)
"              2013 Jul 22 - applied fixes supplied by Hirotaka Hamada (MM)

if exists("b:did_ftplugin")
  finish
endif
let b:did_ftplugin=1

" Use standard compiler settings unless user wants otherwise
if !exists("current_compiler")
  :compiler ocaml
endif

" some macro
if exists('*fnameescape')
  function! s:Fnameescape(s)
    return fnameescape(a:s)
  endfun
else
  function! s:Fnameescape(s)
    return escape(a:s," \t\n*?[{`$\\%#'\"|!<")
  endfun
endif

" Error handling -- helps moving where the compiler wants you to go
let s:cposet=&cpoptions
set cpo&vim

" Comment string
setlocal comments=sr:(*\ ,mb:\ ,ex:*)
setlocal comments^=sr:(**,mb:\ \ ,ex:*)
setlocal commentstring=(*%s*)

" Add mappings, unless the user didn't want this.
if !exists("no_plugin_maps") && !exists("no_ocaml_maps")
  " (un)commenting
  if !hasmapto('<Plug>Comment')
    nmap <buffer> <LocalLeader>c <Plug>LUncomOn
    xmap <buffer> <LocalLeader>c <Plug>BUncomOn
    nmap <buffer> <LocalLeader>C <Plug>LUncomOff
    xmap <buffer> <LocalLeader>C <Plug>BUncomOff
  endif

nnoremap <buffer> <Plug>LUncomOn gI(* <End> *)<ESC>
  nnoremap <buffer> <Plug>LUncomOff :s/^(\* $.*$ \*)/\1/<CR>:noh<CR>
  xnoremap <buffer> <Plug>BUncomOn <ESC>:'<,'><CR>`<O<ESC>0i(*<ESC>`>o<ESC>0i*)<ESC>`<
  xnoremap <buffer> <Plug>BUncomOff <ESC>:'<,'><CR>`<dd`>dd`<

nmap <buffer> <LocalLeader>s <Plug>OCamlSwitchEdit
  nmap <buffer> <LocalLeader>S <Plug>OCamlSwitchNewWin

nmap <buffer> <LocalLeader>t <Plug>OCamlPrintType
  xmap <buffer> <LocalLeader>t <Plug>OCamlPrintType
endif

" Let % jump between structure elements (due to Issac Trotts)
let b:mw =         '\<let\>:\<and\>:$\<in\>\|;;$'
let b:mw = b:mw . ',\<if\>:\<then\>:\<else\>'
let b:mw = b:mw . ',\<$for\|while$\>:\<do\>:\<done\>'
let b:mw = b:mw . ',\<$object\|sig\|struct\|begin$\>:\<end\>'
let b:mw = b:mw . ',\<$match\|try$\>:\<with\>'
let b:match_words = b:mw

let b:match_ignorecase=0

function! s:OcpGrep(bang,args) abort
  let grepprg = &l:grepprg
  let grepformat = &l:grepformat
  let shellpipe = &shellpipe
  try
    let &l:grepprg = "ocp-grep -c never"
    setlocal grepformat=%f:%l:%m
    if &shellpipe ==# '2>&1| tee' || &shellpipe ==# '|& tee'
      let &shellpipe = "| tee"
    endif
    execute 'grep! '.a:args
    if empty(a:bang) && !empty(getqflist())
      return 'cfirst'
    else
      return ''
    endif
  finally
    let &l:grepprg = grepprg
    let &l:grepformat = grepformat
    let &shellpipe = shellpipe
  endtry
endfunction
command! -bar -bang -complete=file -nargs=+ Ocpgrep exe s:OcpGrep(<q-bang>, <q-args>)

" switching between interfaces (.mli) and implementations (.ml)
if !exists("g:did_ocaml_switch")
  let g:did_ocaml_switch = 1
  nnoremap <Plug>OCamlSwitchEdit :<C-u>call OCaml_switch(0)<CR>
  nnoremap <Plug>OCamlSwitchNewWin :<C-u>call OCaml_switch(1)<CR>
  fun OCaml_switch(newwin)
    if (match(bufname(""), "\\.mli$") >= 0)
      let fname = s:Fnameescape(substitute(bufname(""), "\\.mli$", ".ml", ""))
      if (a:newwin == 1)
        exec "new " . fname
      else
        exec "arge " . fname
      endif
    elseif (match(bufname(""), "\\.ml$") >= 0)
      let fname = s:Fnameescape(bufname("")) . "i"
      if (a:newwin == 1)
        exec "new " . fname
      else
        exec "arge " . fname
      endif
    endif
  endfun
endif

" Folding support

" Get the modeline because folding depends on indentation
let lnum = search('^\s*(\*:o\?caml:', 'n')
let s:modeline = lnum? getline(lnum): ""

" Get the indentation params
let s:m = matchstr(s:modeline,'default\s*=\s*\d\+')
if s:m != ""
  let s:idef = matchstr(s:m,'\d\+')
elseif exists("g:omlet_indent")
  let s:idef = g:omlet_indent
else
  let s:idef = 2
endif
let s:m = matchstr(s:modeline,'struct\s*=\s*\d\+')
if s:m != ""
  let s:i = matchstr(s:m,'\d\+')
elseif exists("g:omlet_indent_struct")
  let s:i = g:omlet_indent_struct
else
  let s:i = s:idef
endif

" Set the folding method
if exists("g:ocaml_folding")
  setlocal foldmethod=expr
  setlocal foldexpr=OMLetFoldLevel(v:lnum)
endif

let b:undo_ftplugin = "setlocal efm< foldmethod< foldexpr<"
	\ . "| unlet! b:mw b:match_words b:match_ignorecase"

" - Only definitions below, executed once -------------------------------------

if exists("*OMLetFoldLevel")
  let &cpoptions = s:cposet
  unlet s:cposet
  finish
endif

function s:topindent(lnum)
  let l = a:lnum
  while l > 0
    if getline(l) =~ '\s*\%(\<struct\>\|\<sig\>\|\<object\>\)'
      return indent(l)
    endif
    let l = l-1
  endwhile
  return -s:i
endfunction

function OMLetFoldLevel(l)

" This is for not merging blank lines around folds to them
  if getline(a:l) !~ '\S'
    return -1
  endif

" Toplevel let are detected thanks to the indentation
  if getline(a:l) =~ '^\s*let\>' && indent(a:l) == s:i+s:topindent(a:l)
    exe 'return ">' (indent(a:l)/s:i)+1 '"'
  endif

" We close fold on end which are associated to struct, sig or object.
  " We use syntax information to do that.
  if getline(a:l) =~ '^\s*end\>' && synIDattr(synID(a:l, indent(a:l)+1, 0), "name") != "ocamlKeyword"
    return (indent(a:l)/s:i)+1
  endif

" Folds end on ;;
  if getline(a:l) =~ '^\s*;;'
    exe 'return "<' (indent(a:l)/s:i)+1 '"'
  endif

" Comments around folds aren't merged to them.
  if synIDattr(synID(a:l, indent(a:l)+1, 0), "name") == "ocamlComment"
    return -1
  endif

return '='
endfunction

" Vim support for OCaml .annot files
"
" Last Change: 2007 Jul 17
" Maintainer:  Vincent Aravantinos <vincent.aravantinos@gmail.com>
" License:     public domain
"
" Originally inspired by 'ocaml-dtypes.vim' by Stefano Zacchiroli.
" The source code is quite radically different for we not use python anymore.
" However this plugin should have the exact same behaviour, that's why the
" following lines are the quite exact copy of Stefano's original plugin :
"
" <<
" Executing Ocaml_print_type(<mode>) function will display in the Vim bottom
" line(s) the type of an ocaml value getting it from the corresponding .annot
" file (if any).  If Vim is in visual mode, <mode> should be "visual" and the
" selected ocaml value correspond to the highlighted text, otherwise (<mode>
" can be anything else) it corresponds to the literal found at the current
" cursor position.
"
" Typing '<LocalLeader>t' (LocalLeader defaults to '\', see :h LocalLeader)
" will cause " Ocaml_print_type function to be invoked with the right
" argument depending on the current mode (visual or not).
" >>
"
" If you find something not matching this behaviour, please signal it.
"
" Differences are:
"   - no need for python support
"     + plus : more portable
"     + minus: no more lazy parsing, it looks very fast however
"
"   - ocamlbuild support, ie.
"     + the plugin finds the _build directory and looks for the
"       corresponding file inside;
"     + if the user decides to change the name of the _build directory thanks
"       to the '-build-dir' option of ocamlbuild, the plugin will manage in
"       most cases to find it out (most cases = if the source file has a unique
"       name among your whole project);
"     + if ocamlbuild is not used, the usual behaviour holds; ie. the .annot
"       file should be in the same directory as the source file;
"     + for vim plugin programmers:
"       the variable 'b:_build_dir' contains the inferred path to the build
"       directory, even if this one is not named '_build'.
"
" Bonus :
"   - latin1 accents are handled
"   - lists are handled, even on multiple lines, you don't need the visual mode
"     (the cursor must be on the first bracket)
"   - parenthesized expressions, arrays, and structures (ie. '(...)', '[|...|]',
"     and '{...}') are handled the same way

" Copied from Stefano's original plugin :
  " <<
  "      .annot ocaml file representation
  "
  "      File format (copied verbatim from caml-types.el)
  "
  "      file ::= block *
  "      block ::= position <SP> position <LF> annotation *
  "      position ::= filename <SP> num <SP> num <SP> num
  "      annotation ::= keyword open-paren <LF> <SP> <SP> data <LF> close-paren
  "
  "      <SP> is a space character (ASCII 0x20)
  "      <LF> is a line-feed character (ASCII 0x0A)
  "      num is a sequence of decimal digits
  "      filename is a string with the lexical conventions of O'Caml
  "      open-paren is an open parenthesis (ASCII 0x28)
  "      close-paren is a closed parenthesis (ASCII 0x29)
  "      data is any sequence of characters where <LF> is always followed by
  "           at least two space characters.
  "
  "      - in each block, the two positions are respectively the start and the
  "        end of the range described by the block.
  "      - in a position, the filename is the name of the file, the first num
  "        is the line number, the second num is the offset of the beginning
  "        of the line, the third num is the offset of the position itself.
  "      - the char number within the line is the difference between the third
  "        and second nums.
  "
  "      For the moment, the only possible keyword is \"type\"."
  " >>

" 1. Finding the annotation file even if we use ocamlbuild

" In:  two strings representing paths
    " Out: one string representing the common prefix between the two paths
  function! s:Find_common_path (p1,p2)
    let temp = a:p2
    while matchstr(a:p1,temp) == ''
      let temp = substitute(temp,'/[^/]*$','','')
    endwhile
    return temp
  endfun

" After call:
    "
    "  Following information have been put in s:annot_file_list, using
    "  annot_file_name name as key:
    " - annot_file_path :
    "                       path to the .annot file corresponding to the
    "                       source file (dealing with ocamlbuild stuff)
    " - _build_path:
    "                       path to the build directory even if this one is
    "                       not named '_build'
    " - date_of_last annot:
    "                       Set to 0 until we load the file. It contains the
    "                       date at which the file has been loaded.
  function! s:Locate_annotation()
    let annot_file_name = s:Fnameescape(expand('%:t:r')).'.annot'
    if !exists ("s:annot_file_list[annot_file_name]")
      silent exe 'cd' s:Fnameescape(expand('%:p:h'))
      " 1st case : the annot file is in the same directory as the buffer (no ocamlbuild)
      let annot_file_path = findfile(annot_file_name,'.')
      if annot_file_path != ''
        let annot_file_path = getcwd().'/'.annot_file_path
        let _build_path = ''
      else
        " 2nd case : the buffer and the _build directory are in the same directory
        "      ..
        "     /  \
        "    /    \
        " _build  .ml
        "
        let _build_path = finddir('_build','.')
        if _build_path != ''
          let _build_path = getcwd().'/'._build_path
          let annot_file_path           = findfile(annot_file_name,'_build')
          if annot_file_path != ''
            let annot_file_path = getcwd().'/'.annot_file_path
          endif
        else
          " 3rd case : the _build directory is in a directory higher in the file hierarchy
          "            (it can't be deeper by ocamlbuild requirements)
          "      ..
          "     /  \
          "    /    \
          " _build  ...
          "           \
          "            \
          "           .ml
          "
          let _build_path = finddir('_build',';')
          if _build_path != ''
            let project_path                = substitute(_build_path,'/_build$','','')
            let path_relative_to_project    = s:Fnameescape(substitute(expand('%:p:h'),project_path.'/','',''))
            let annot_file_path           = findfile(annot_file_name,project_path.'/_build/'.path_relative_to_project)
          else
            let annot_file_path = findfile(annot_file_name,'**')
            "4th case : what if the user decided to change the name of the _build directory ?
            "           -> we relax the constraints, it should work in most cases
            if annot_file_path != ''
              " 4a. we suppose the renamed _build directory is in the current directory
              let _build_path = matchstr(annot_file_path,'^[^/]*')
              if annot_file_path != ''
                let annot_file_path = getcwd().'/'.annot_file_path
                let _build_path     = getcwd().'/'._build_path
              endif
            else
              let annot_file_name = ''
              "(Pierre Vittet: I have commented 4b because this was crashing
              "my vim (it produced infinite loop))
              "
              " 4b. anarchy : the renamed _build directory may be higher in the hierarchy
              " this will work if the file for which we are looking annotations has a unique name in the whole project
              " if this is not the case, it may still work, but no warranty here
              "let annot_file_path = findfile(annot_file_name,'**;')
              "let project_path      = s:Find_common_path(annot_file_path,expand('%:p:h'))
              "let _build_path       = matchstr(annot_file_path,project_path.'/[^/]*')
            endif
          endif
        endif
      endif

if annot_file_path == ''
        throw 'E484: no annotation file found'
      endif

silent exe 'cd' '-'
      let s:annot_file_list[annot_file_name]= [annot_file_path, _build_path, 0]
    endif
  endfun

" This variable contains a dictionary of lists. Each element of the dictionary
  " represents an annotation system. An annotation system is a list with:
  " - annotation file name as its key
  " - annotation file path as first element of the contained list
  " - build path as second element of the contained list
  " - annot_file_last_mod (contain the date of .annot file) as third element
  let s:annot_file_list = {}

" 2. Finding the type information in the annotation file

" a. The annotation file is opened in vim as a buffer that
  " should be (almost) invisible to the user.

" After call:
      " The current buffer is now the one containing the .annot file.
      " We manage to keep all this hidden to the user's eye.
    function! s:Enter_annotation_buffer(annot_file_path)
      let s:current_pos = getpos('.')
      let s:current_hidden = &l:hidden
      set hidden
      let s:current_buf = bufname('%')
      if bufloaded(a:annot_file_path)
        silent exe 'keepj keepalt' 'buffer' s:Fnameescape(a:annot_file_path)
      else
        silent exe 'keepj keepalt' 'view' s:Fnameescape(a:annot_file_path)
      endif
      call setpos(".", [0, 0 , 0 , 0])
    endfun

" After call:
      "   The original buffer has been restored in the exact same state as before.
    function! s:Exit_annotation_buffer()
      silent exe 'keepj keepalt' 'buffer' s:Fnameescape(s:current_buf)
      let &l:hidden = s:current_hidden
      call setpos('.',s:current_pos)
    endfun

" After call:
      "   The annot file is loaded and assigned to a buffer.
      "   This also handles the modification date of the .annot file, eg. after a
      "   compilation (return an updated annot_file_list).
    function! s:Load_annotation(annot_file_name)
      let annot = s:annot_file_list[a:annot_file_name]
      let annot_file_path = annot[0]
      let annot_file_last_mod = 0
      if exists("annot[2]")
        let annot_file_last_mod = annot[2]
      endif
      if bufloaded(annot_file_path) && annot_file_last_mod < getftime(annot_file_path)
        " if there is a more recent file
        let nr = bufnr(annot_file_path)
        silent exe 'keepj keepalt' 'bunload' nr
      endif
      if !bufloaded(annot_file_path)
        call s:Enter_annotation_buffer(annot_file_path)
        setlocal nobuflisted
        setlocal bufhidden=hide
        setlocal noswapfile
        setlocal buftype=nowrite
        call s:Exit_annotation_buffer()
        let annot[2] = getftime(annot_file_path)
        " List updated with the new date
        let s:annot_file_list[a:annot_file_name] = annot
      endif
    endfun

"b. 'search' and 'match' work to find the type information

"In:  - lin1,col1: position of expression first char
      "     - lin2,col2: position of expression last char
      "Out: - the pattern to be looked for to find the block
      " Must be called in the source buffer (use of line2byte)
    function! s:Block_pattern(lin1,lin2,col1,col2)
      let start_num1 = a:lin1
      let start_num2 = line2byte(a:lin1) - 1
      let start_num3 = start_num2 + a:col1
      let path       = '"$\\"\|[^"]$\+"'
      let start_pos  = path.' '.start_num1.' '.start_num2.' '.start_num3
      let end_num1   = a:lin2
      let end_num2   = line2byte(a:lin2) - 1
      let end_num3   = end_num2 + a:col2
      let end_pos    = path.' '.end_num1.' '.end_num2.' '.end_num3
      return '^'.start_pos.' '.end_pos."$"
      " rq: the '^' here is not totally correct regarding the annot file "grammar"
      " but currently the annotation file respects this, and it's a little bit faster with the '^';
      " can be removed safely.
    endfun

"In: (the cursor position should be at the start of an annotation)
      "Out: the type information
      " Must be called in the annotation buffer (use of search)
    function! s:Match_data()
      " rq: idem as previously, in the following, the '^' at start of patterns is not necessary
      keepj while search('^type($','ce',line(".")) == 0
        keepj if search('^.\{-}($','e') == 0
          throw "no_annotation"
        endif
        keepj if searchpair('(','',')') == 0
          throw "malformed_annot_file"
        endif
      endwhile
      let begin = line(".") + 1
      keepj if searchpair('(','',')') == 0
        throw "malformed_annot_file"
      endif
      let end = line(".") - 1
      return join(getline(begin,end),"\n")
    endfun

"In:  the pattern to look for in order to match the block
      "Out: the type information (calls s:Match_data)
      " Should be called in the annotation buffer
    function! s:Extract_type_data(block_pattern, annot_file_name)
      let annot_file_path = s:annot_file_list[a:annot_file_name][0]
      call s:Enter_annotation_buffer(annot_file_path)
      try
        if search(a:block_pattern,'e') == 0
          throw "no_annotation"
        endif
        call cursor(line(".") + 1,1)
        let annotation = s:Match_data()
      finally
        call s:Exit_annotation_buffer()
      endtry
      return annotation
    endfun

"c. link this stuff with what the user wants
  " ie. get the expression selected/under the cursor

let s:ocaml_word_char = '\w|[\xc0-\xff]|'''

"In:  the current mode (eg. "visual", "normal", etc.)
      "Out: the borders of the expression we are looking for the type
    function! s:Match_borders(mode)
      if a:mode == "visual"
        let cur = getpos(".")
        normal `<
        let col1 = col(".")
        let lin1 = line(".")
        normal `>
        let col2 = col(".")
        let lin2 = line(".")
        call cursor(cur[1],cur[2])
        return [lin1,lin2,col1-1,col2]
      else
        let cursor_line = line(".")
        let cursor_col  = col(".")
        let line = getline('.')
        if line[cursor_col-1:cursor_col] == '[|'
          let [lin2,col2] = searchpairpos('\[|','','|\]','n')
          return [cursor_line,lin2,cursor_col-1,col2+1]
        elseif     line[cursor_col-1] == '['
          let [lin2,col2] = searchpairpos('\[','','\]','n')
          return [cursor_line,lin2,cursor_col-1,col2]
        elseif line[cursor_col-1] == '('
          let [lin2,col2] = searchpairpos('(','',')','n')
          return [cursor_line,lin2,cursor_col-1,col2]
        elseif line[cursor_col-1] == '{'
          let [lin2,col2] = searchpairpos('{','','}','n')
          return [cursor_line,lin2,cursor_col-1,col2]
        else
          let [lin1,col1] = searchpos('\v%('.s:ocaml_word_char.'|\.)*','ncb')
          let [lin2,col2] = searchpos('\v%('.s:ocaml_word_char.'|\.)*','nce')
          if col1 == 0 || col2 == 0
            throw "no_expression"
          endif
          return [cursor_line,cursor_line,col1-1,col2]
        endif
      endif
    endfun

"In:  the current mode (eg. "visual", "normal", etc.)
      "Out: the type information (calls s:Extract_type_data)
    function! s:Get_type(mode, annot_file_name)
      let [lin1,lin2,col1,col2] = s:Match_borders(a:mode)
      return s:Extract_type_data(s:Block_pattern(lin1,lin2,col1,col2), a:annot_file_name)
    endfun

"In: A string destined to be printed in the 'echo buffer'. It has line
      "break and 2 space at each line beginning.
      "Out: A string destined to be yanked, without space and double space.
    function s:unformat_ocaml_type(res)
      "Remove end of line.
      let res = substitute (a:res, "\n", "", "g" )
      "remove double space
      let res =substitute(res , "  ", " ", "g")
      "remove space at beginning of string.
      let res = substitute(res, "^ *", "", "g")
      return res
    endfunction

"d. main
      "In:         the current mode (eg. "visual", "normal", etc.)
      "After call: the type information is displayed
    if !exists("*Ocaml_get_type")
      function Ocaml_get_type(mode)
        let annot_file_name = s:Fnameescape(expand('%:t:r')).'.annot'
        call s:Locate_annotation()
        call s:Load_annotation(annot_file_name)
        let res = s:Get_type(a:mode, annot_file_name)
        " Copy result in the unnamed buffer
        let @" = s:unformat_ocaml_type(res)
        return res
      endfun
    endif

if !exists("*Ocaml_get_type_or_not")
      function Ocaml_get_type_or_not(mode)
        let t=reltime()
        try
          let res = Ocaml_get_type(a:mode)
          return res
        catch
          return ""
        endtry
      endfun
    endif

if !exists("*Ocaml_print_type")
      function Ocaml_print_type(mode)
        if expand("%:e") == "mli"
          echohl ErrorMsg | echo "No annotations for interface (.mli) files" | echohl None
          return
        endif
        try
          echo Ocaml_get_type(a:mode)
        catch /E484:/
          echohl ErrorMsg | echo "No type annotations (.annot) file found" | echohl None
        catch /no_expression/
          echohl ErrorMsg | echo "No expression found under the cursor" | echohl None
        catch /no_annotation/
          echohl ErrorMsg | echo "No type annotation found for the given text" | echohl None
        catch /malformed_annot_file/
          echohl ErrorMsg | echo "Malformed .annot file" | echohl None
        endtry
      endfun
    endif

" Maps
  nnoremap <silent> <Plug>OCamlPrintType :<C-U>call Ocaml_print_type("normal")<CR>
  xnoremap <silent> <Plug>OCamlPrintType :<C-U>call Ocaml_print_type("visual")<CR>`<

let &cpoptions = s:cposet
unlet s:cposet

" vim:sw=2 fdm=indent

${this.title}

Code Editor : ocaml.vim