Re: [Caml-list] OCamlSpotter for OCaml 3.12.0+rc1

[Yoann Padioleau <padator@wanadoo.fr>]

On Jul 23, 2010, at 11:29 PM, Jun Furuse wrote:

> 
> Hi Caml-list,
> 
> I have updated OCamlSpotter, a compiler enhancement for source code
> browsing, to version 3.12.0.0.0, which supports new syntax constructs
> introduced in OCaml 3.12.0+rc1. This is a very quick porting version
> for people who are already using OCamlSpotter with OCaml 3.11.2.
> 
> OCamlSpotter is a tool which finds definition places of various names
> (identifiers, type names, modules, etc) in OCaml programs
> automatically for you. The original OCaml's -annot option provides the
> same sort of functionality

Really ? What is the difference between -annot and -dtypes. To me
-dtypes only help to print type information under the cursor (With C-c C-t).
It does not help to find the definition of a name (like otags).

> but OCamlSpotter provides much more
> powerful browsing: it can find definitions hidden in the deep nested
> module aliases and functor applications.

This looks really useful. Any chance of this being integrated in the official
OCaml distribution ? I don't feel comfortable overwriting my current
ocaml binaries. Also how does it interact with previously compiled object files ?
I am using godi so once I have overwritten the ocaml binaries from godi, do
I have to reinstall all the libraries ?


> 
> - The -annot option of ocamlc and ocamlopt is extended and creates
> <module>.spot files (<module>.spit for .mli), which record the
> location information of the names defined and used in the module.
> 
> - A small application ocamlspot provides automatic where-about
> spotting of the definition of the name you are interested in, using
> <module>.spot files created by the patched compilers.
> 
> - ocamlspot.el provides interactive ocaml-spotting of definition
> locations in emacs.
> 
> - Interfaces for other editors such as vi could be built easily, if you want.
> 
> The source code is available from Mercurial repo at ocamlforge:
> 
> Further information and download is available at:
> 
>   http://hg.ocamlcore.org/cgi-bin/hgwebdir.cgi/ocamlspotter/ocamlspotter/
> 
> Documents are available currently at:
> 
>   http://jun.furuse.info/hacks/ocamlspotter
> 
> which will be moved to ocamlforge soon.
> 
> Happy hacking.
> Jun
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>