]> Here: http://www.bononia.it/~zack/stuff/ocaml-dtypes.vim you can find a ViM extension that is able to parse .annot files and print the type of an highlighted (visual mode) part of an ocaml source file. Alternatively it can print the type of the ocaml identifier at the current cursor position. It requires vim-python (i.e. vim built with python support). Cheers. -- Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} - http://www.bononia.it/zack/ " I know you believe you understood what you think I said, but I am not sure you realize that what you heard is not what I meant! " -- G.Romney ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners