From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 4BD14BB84 for ; Tue, 9 Sep 2008 12:09:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArcBABzoxUhKfU4blWdsb2JhbACSED4BAQEBCQMKBw+aXYZ4AQKEBg X-IronPort-AV: E=Sophos;i="4.32,364,1217800800"; d="scan'208";a="28969397" Received: from ey-out-2122.google.com ([74.125.78.27]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2008 12:09:04 +0200 Received: by ey-out-2122.google.com with SMTP id 6so798919eyi.15 for ; Tue, 09 Sep 2008 03:09: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:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=aeCwF5/6O8jGi6h0EhiJP7tj9keiCIgOt24CmYZUtQQ=; b=q5M8OFKcspR0nfnu8oWWZlAr4Ezsgu0aaPA8pDfui1LBFUq3gxrXO5tq8EMzaV32Zy f2p39w+YmW80HvPc7hnoESahQIucy/zFK9QLlVJtTtzbZefhokvLo0bsaEJ0Sic1cEtv SNlQ2cEW05z713pLjeaGKDzvp2llVMSuDng4c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=UTgFGmvXfXmhyDCywKGzIIMezJ7XdtWw+GQGn/TqjRdiwojV/zWweASEdWlKdgSe2V lYTZFhDBQSc1FW9Kwn3Qhro1rtevtdV/OB+GNODIv68tfaytXoPCBKXZY/EI+rMVdQIA /AjPNz6/6B7bbRb1JMufo+gAQDpHP+knzRC30= Received: by 10.181.28.18 with SMTP id f18mr11692613bkj.88.1220954943734; Tue, 09 Sep 2008 03:09:03 -0700 (PDT) Received: by 10.180.244.3 with HTTP; Tue, 9 Sep 2008 03:09:03 -0700 (PDT) Message-ID: <5160b4200809090309k2fe03206p3349038cebd36247@mail.gmail.com> Date: Tue, 9 Sep 2008 19:09:03 +0900 From: "Jun Furuse" To: "Nathaniel Gray" Subject: Re: [Caml-list] [ANN] OCamlSpotter: OCaml compiler extension for source browsing Cc: caml-list@yquem.inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com> X-Spam: no; 0.00; furuse:01 furuse:01 ocaml:01 compiler:01 compiler:01 cheers:01 emacs:01 cheers:01 blown:98 wrote:01 wrote:01 caml-list:01 bugs:03 dev:04 dev:04 Hi, Of course, I've already expressed my hope of incorporating it into the official compiler to the dev team. But I think it is not the right moment. I am sure it has some bugs and many things to be improved. Hopefully in future, when things become more stable and if the dev team is convinced. Cheers, Jun On Tue, Sep 9, 2008 at 2:17 PM, Nathaniel Gray wrote: > On Mon, Sep 8, 2008 at 4:24 AM, Jun Furuse wrote: >> 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. > > You have completely blown my mind. I was thinking about this very > idea about 10 minutes ago in my car, and *blam* there it is. I should > think about some other, more profitable ideas... > > I would suggest submitting this as a patch for inclusion. I've heard > there are going to be enhancements to the .annot format in 3.11 so > it's not unprecedented. > > Cheers, > -n8 > > -- >>>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>>-- Mojave Project -- http://mojave.cs.caltech.edu --> >