From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jun.furuse@gmail.com>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 9CD82BC57
	for <caml-list@yquem.inria.fr>; Tue, 16 Mar 2010 02:33:13 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AowCACJ9nkvRVd23imdsb2JhbACQY4oDCBUBAQEKCQwHEQUfqXmBYYR4LohLAQEDBYR2BIMY
X-IronPort-AV: E=Sophos;i="4.49,647,1262559600"; 
   d="scan'208";a="47223215"
Received: from mail-qy0-f183.google.com ([209.85.221.183])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Mar 2010 02:33:13 +0100
Received: by qyk13 with SMTP id 13so65680qyk.29
        for <caml-list@inria.fr>; Mon, 15 Mar 2010 18:33:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:date:message-id:subject
         :from:to:content-type;
        bh=+JI9XjCoA5KUQMgSc2V9yn9POX0bwKHFiO9g7jiqqb0=;
        b=JLOGKNic7LIIQSX7EMezynllpTrbU7aVsf/JeV1W84jALbuudkXH85uDhwDgMvnxLf
         3T0UEL2kSbUQo3ZsRk2VHgPf8/eLoG5Hcpirip6639dq71WL4RkcopCDN/7e2Vg0Nah0
         +hWiYoWu9eZLYLyln3FspHKQiyyL9datRnrSA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        b=c6cTQSesgamctd+M/ZwTkDzSEicHCVJCNlVIMuNTln9vjq7O3BZE6VLf56AfNnXepB
         ei1IeyS0hOVbsAWP7N8r+LkHD5H//vgyaw7urOYAB5lP6Oja6fjije3AZ2VFNficHGug
         Ed5ueLuaTR29L/kIf+SEyOB2mQ2wtu2e42/wU=
MIME-Version: 1.0
Received: by 10.229.189.212 with SMTP id df20mr781768qcb.21.1268703190465; 
	Mon, 15 Mar 2010 18:33:10 -0700 (PDT)
Date: Tue, 16 Mar 2010 10:33:10 +0900
Message-ID: <5160b4201003151833l7cb88b8dy7263fd51c7d0ba10@mail.gmail.com>
Subject: [Ann] OCamlspotter 1.1
From: Jun Furuse <jun.furuse@gmail.com>
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; furuse:01 furuse:01 compiler:01 ocaml:01 ocaml:01 ocaml's:01 functor:01 ocamlc:01 ocamlopt:01 mli:01 patched:01 emacs:01 hacks:01 compilers:01 caml-list:01 

Hi Caml-list,

I have updated OCamlSpotter, a compiler enhancement for source code browsing,
to version 1.1, which is aimed for OCaml 3.11.2 and some enhancements
since its first release.

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 but
OCamlSpotter provides much more powerful browsing: it can find
definitions hidden in the deep nested module aliases and functor applications.

 - 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.

This release of OCamlSpotter is 1.1. Some bugs found in 1.1rc1 were fixed.

Further information and download is available at:

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

Happy hacking.
Jun