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=none 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 B2D3EBB84 for ; Mon, 8 Sep 2008 15:28:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucDAPPFxEhKfVwYm2dsb2JhbACCMWCOdj4BAQEBAQgDCAkRnCmFWQEC X-IronPort-AV: E=Sophos;i="4.32,358,1217800800"; d="scan'208";a="16971548" Received: from qw-out-2122.google.com ([74.125.92.24]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Sep 2008 15:28:26 +0200 Received: by qw-out-2122.google.com with SMTP id 9so109308qwb.15 for ; Mon, 08 Sep 2008 06:28:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:organization:to:subject:date :user-agent:references:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:message-id:from; bh=Y59fJenTWRbBZH/csEKsgiOJeBlxnjge9NLYutAQp4U=; b=t6BApAIrd+ku1Wc1JQ/NvszFoQh+0djuhiFOgMMDPhKhmnU+IcgE8RK4mNDkGbIhIn HyDxkFKhsZLIJpjADyw5X2TkcjsDnUM9fz029jCpJXZFRnX959i/jGAfokZOh5Dj/m/F 3KVTE9rv+fMTPJ34DSk0wOmFazb9WvW/ZhhlM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=organization:to:subject:date:user-agent:references:in-reply-to :mime-version:content-type:content-transfer-encoding :content-disposition:message-id:from; b=hWU5fwx8huLD8MVYdYO8PKFB8t3CSSj9b8XjEW/W/hwJL5CfcL68Bek4CWF71UJRr5 Jijy4TTs07XvAouJ5ZR2sPUnhYpTD/vwS8Ne9o0P+pOQDFrguy0BMT0QRsNCcTnCIwDJ Sjx0h49L3a0+Ec/OljbMZJowukrZbEcKDFmec= Received: by 10.214.182.7 with SMTP id e7mr12125718qaf.96.1220880504490; Mon, 08 Sep 2008 06:28:24 -0700 (PDT) Received: from leper.local ( [86.140.183.215]) by mx.google.com with ESMTPS id 7sm2192017qwb.7.2008.09.08.06.28.22 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 08 Sep 2008 06:28:23 -0700 (PDT) Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] [ANN] OCamlSpotter: OCaml compiler extension for source browsing Date: Mon, 8 Sep 2008 15:28:26 +0100 User-Agent: KMail/1.9.9 References: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com> In-Reply-To: <5160b4200809080424j6236f47ch17ad498de83924c6@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200809081528.27065.jon@ffconsultancy.com> From: Jon Harrop X-Spam: no; 0.00; ocaml:01 compiler:01 furuse:01 compiler:01 emacs:01 ocaml:01 cvs:01 furuse:01 ocamldoc:01 frog:98 hacks:01 wrote:01 caml-list:01 diff:02 latex:02 On Monday 08 September 2008 12:24:02 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. > > 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. Brilliant idea! Throwback should also include the ocamldoc comment for the original definition and, as Yann Le Du recently suggested for F#, typeset LaTeX. :-) -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e