From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0A59qYv004739
	for <caml-list@sympa-roc.inria.fr>; Tue, 10 Jan 2012 06:09:52 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: At0BACPHC0/RVdc2kGdsb2JhbABDrE8IIgEBAQEJCQ0HFAQhggsCLAEbHgMSEF0BEQEFASI1h2CWWYJeCotqgm+FAD+IcQIFC4wGBIg4jFKOAz2EBw
X-IronPort-AV: E=Sophos;i="4.71,484,1320620400"; 
   d="scan'208";a="138511975"
Received: from mail-lpp01m010-f54.google.com ([209.85.215.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Jan 2012 06:09:47 +0100
Received: by lahl5 with SMTP id l5so3410004lah.27
        for <caml-list@inria.fr>; Mon, 09 Jan 2012 21:09:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=dwjYvIUPiRd76QX+7A+n/y/Ts5fKtVyvM1c1dg2CCkk=;
        b=sUGCsBN6zM+2q2ljyo4e16HUM6yx6gb9iTto6bftVwI+KgDR+fwu5oGCqQDjEh3eJw
         +7ih874tklN9kKUlGU5gHLRfxzlPNK7vZ39lZ74XQ3ddEWnHL2TDrSNBrobu5PeLpXTM
         AsWiijmx+s7BmN54jdcHTMSUUYfHBv5Hu7vkw=
MIME-Version: 1.0
Received: by 10.152.145.165 with SMTP id sv5mr8016440lab.29.1326172186568;
 Mon, 09 Jan 2012 21:09:46 -0800 (PST)
Received: by 10.112.74.228 with HTTP; Mon, 9 Jan 2012 21:09:46 -0800 (PST)
Date: Tue, 10 Jan 2012 13:09:46 +0800
Message-ID: <CAAoLEWuNns05rUQUO2rcDTEHLBuKrokq_VM3=h8hXfXhAUXHWQ@mail.gmail.com>
From: Jun Furuse <jun.furuse@gmail.com>
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: [Caml-list] [ANN] OCamlSpotter 1.4.0 for OCaml 3.12.1

An OCaml source browsing tool, OCamlSpotter 1.4.0 is out.

With OCamlSpotter, you can easily jump to identifier uses to the
corresponding definitions, resolving module inclusion and functor
applications. For further info, please check
http://jun.furuse.info/hacks/ocamlspotter .

1.4.0 supports:
- Spotting the definitions of idents (Finding definition of idents)
- Spotting the uses of idents (Opposite of def spotting)
- Showing data types of expressions/patterns with their id numbers,
and the query of their definitions.
- Type driven expansion of expressions and patterns

It requires compiler modification. The modified compiler source and
OCamlSpotter is found at:

  https://bitbucket.org/camlspotter/mutated_ocaml/get/v3.12.1-ocamlspot-1.4.0.tar.gz

The diff against the original 3.12.1 can be easily obtained from the
bitbucket repo by

hg diff -r ocaml-3.12.1-11110 -r v3.12.1-ocamlspot-1.4.0 .

Happy hacking.

Jun