Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
OCamlSpotter for OCaml 3.12.0+rc1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Yoann Padioleau <padator@w...>
Subject: Re: [Caml-list] OCamlSpotter for OCaml 3.12.0+rc1

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, 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:
> Documents are available currently at:
> which will be moved to ocamlforge soon.
> Happy hacking.
> Jun
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives:
> Beginner's list:
> Bug reports: