From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jun.furuse@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id D356FBB84
	for <caml-list@yquem.inria.fr>; Mon,  8 Sep 2008 13:24:06 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiQDADCoxEjRVYC4lGdsb2JhbACDEY52PgEBAQEJAwoHEZwPhVkBAoQI
X-IronPort-AV: E=Sophos;i="4.32,358,1217800800"; 
   d="scan'208";a="28927687"
Received: from fk-out-0910.google.com ([209.85.128.184])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Sep 2008 13:24:04 +0200
Received: by fk-out-0910.google.com with SMTP id k31so1101687fkk.11
        for <caml-list@yquem.inria.fr>; Mon, 08 Sep 2008 04:24:03 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:mime-version:content-type:content-transfer-encoding
         :content-disposition;
        bh=bMUZfBhg1rIFvEiUOp8TEat7s55zMhGlGVcN8jXoQ0w=;
        b=X6JkCTyTexxufws8V4wNcUoPwbV6Yv/oTouwBUNeF8hClJu1ATVd8180cYfsYwRcaI
         aEfVUev6Fpq60Y0eOKYaFdASLC8sqZ1N1Xz8GwlBp1QokZKirnStAL7gexBWMfHR3GDb
         Ifin6rtMhxj1Ap5J2jkSYp+GG9dn0vFlY5N9w=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:mime-version:content-type
         :content-transfer-encoding:content-disposition;
        b=oMIzfZGH3PZ/6652RenzGH8z+FPdsssKDxmQeMumTQ9xUjF5p8bOs5S2yIvfRBYt5D
         9rgPfQ7gN7P0JMx/zXYlyPeLOatjHmBYlYlhB8atgABKIsUfGwu9rjR5YgeUhvMlpkwn
         Og552eO4ldc90WVQnySbt2lJuDouJHVRYSSgc=
Received: by 10.180.255.1 with SMTP id c1mr10824944bki.23.1220873042873;
        Mon, 08 Sep 2008 04:24:02 -0700 (PDT)
Received: by 10.180.244.3 with HTTP; Mon, 8 Sep 2008 04:24:02 -0700 (PDT)
Message-ID: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com>
Date: Mon, 8 Sep 2008 20:24:02 +0900
From: "Jun Furuse" <jun.furuse@gmail.com>
To: caml-list@yquem.inria.fr
Subject: [ANN] OCamlSpotter: OCaml compiler extension for source browsing
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-Spam: no; 0.00; furuse:01 furuse:01 ocaml:01 compiler:01 compiler:01 emacs:01 ocaml:01 cvs:01 hacks:01 diff:02 complex:05 extension:06 variable:06 variable:06 suggestions:07 

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