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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id EC9E0BBAF for ; Thu, 18 Sep 2008 19:02:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBAGgm0kjUGyoemmdsb2JhbACTDgEBAQEBCAUIBxEDpwSBZw X-IronPort-AV: E=Sophos;i="4.32,422,1217800800"; d="scan'208";a="17465188" Received: from smtp4-g19.free.fr ([212.27.42.30]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Sep 2008 19:02:30 +0200 Received: from smtp4-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp4-g19.free.fr (Postfix) with ESMTP id 5E9133EA4E8; Thu, 18 Sep 2008 19:02:30 +0200 (CEST) Received: from [192.168.1.3] (che78-2-82-237-71-191.fbx.proxad.net [82.237.71.191]) by smtp4-g19.free.fr (Postfix) with ESMTP id 9E0383EA2BE; Thu, 18 Sep 2008 19:02:29 +0200 (CEST) Message-ID: <48D289A5.3090201@inria.fr> Date: Thu, 18 Sep 2008 19:02:29 +0200 From: Xavier Leroy User-Agent: Thunderbird 2.0.0.4 (X11/20070620) MIME-Version: 1.0 To: Nathaniel Gray Cc: Jun Furuse , caml-list@yquem.inria.fr Subject: Re: [Caml-list] [ANN] OCamlSpotter: OCaml compiler extension for source browsing References: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com> In-Reply-To: X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 compiler:01 compiler:01 emacs:01 ocaml:01 bugfix:01 blown:98 caml-list:01 inclusion:04 inclusion:04 profitable:94 xavier:06 xavier:06 extension:06 variable:06 >> 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. >>From what I've heard, there's also an OCaml summer of code project that enriched the info found in .annot files. So, it's certainly time to discuss extensions to .annot files, but let's do that globally, not one at a time. It is probably too late for inclusion in 3.11, but as long as these extensions are backward compatible, inclusion in bugfix releases can be considered. - Xavier Leroy