Hi,

I have written a small compiler patch called ocamlspotter. It extends
-annot option and records all the variable definition locations, so
that we can jump from variable uses to their definitions easily from
editors such as emacs.

It is still in a beta version quality, but it is already very useful
to browse very complex ocaml project trees.

The source is available as a diff against a cvs version of OCaml compiler at:

http://www.furuse.info/jun/hacks/ocamlspotter/

Comments and suggestions are welcome.

Regards,
Jun FURUSE