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.3 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C36ECBB84 for ; Tue, 9 Sep 2008 07:18:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApgBAGqjxUjRVcbvlGdsb2JhbACSDD4BAQEBCQMKBxEDm16GUAEChAY X-IronPort-AV: E=Sophos;i="4.32,363,1217800800"; d="scan'208";a="16725939" Received: from rv-out-0506.google.com ([209.85.198.239]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2008 07:17:59 +0200 Received: by rv-out-0506.google.com with SMTP id f6so1600602rvb.3 for ; Mon, 08 Sep 2008 22:17:58 -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=J3b2LYag5bh5fTxBye1rBQl8aB4/bjgBxpKHn7MafFg=; b=QHsLQiNl0WP5zR+WUqY+8Swxv2srOBPFBVQWTN4Wc13C9sfK4h1KpNnpDaIUfDzlqb wfn4k2nHEijSj5aL6/oHT1tQQ35VlFWYh727Tq9Sjyw87o1NbthDYZb6R6MF1RBdilw3 eWDwOgsjAaxhhnziNCRC0JQ+Fa/VIvQ9gK70M= 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=D++0I1A3PU66dimYWE2aCqsP1PhnyiHjBV0JXxP+47Xk1gzH+mc63l9ijbSH4Ahia5 L/i7fOgcPjsJTlWlCPv3qdzoxSR8131ELeCdIiXEl17FGgr48v/rTs6/ypwrUgA1JA6q 6b75/3GoHtsAGgwxgFMaHtYVXrxjqpp6srPPw= Received: by 10.141.106.14 with SMTP id i14mr9418928rvm.178.1220937478346; Mon, 08 Sep 2008 22:17:58 -0700 (PDT) Received: by 10.141.5.12 with HTTP; Mon, 8 Sep 2008 22:17:58 -0700 (PDT) Message-ID: Date: Mon, 8 Sep 2008 22:17:58 -0700 From: "Nathaniel Gray" To: "Jun Furuse" Subject: Re: [Caml-list] [ANN] OCamlSpotter: OCaml compiler extension for source browsing Cc: caml-list@yquem.inria.fr In-Reply-To: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com> X-Spam: no; 0.00; ocaml:01 compiler:01 furuse:01 furuse:01 compiler:01 emacs:01 cheers:01 blown:98 wrote:01 caml-list:01 inclusion:04 caltech:05 caltech:05 profitable:94 extension:06 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 -->