From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <damien.doligez@inria.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.1 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 6A469BB84
	for <caml-list@yquem.inria.fr>; Tue, 29 Jul 2008 16:16:04 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Au0BADvDjkjAXQIniGdsb2JhbACSVgEBAQ8gnWE
X-IronPort-AV: E=Sophos;i="4.31,272,1215381600"; 
   d="scan'208";a="15612469"
Received: from concorde.inria.fr ([192.93.2.39])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Jul 2008 16:16:04 +0200
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6TEFsPu005844
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK)
	for <caml-list@inria.fr>; Tue, 29 Jul 2008 16:16:04 +0200
X-IronPort-AV: E=Sophos;i="4.31,272,1215381600"; 
   d="scan'208";a="27779229"
Received: from 250-96.msr-inria.inria.fr ([193.55.250.96])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 29 Jul 2008 16:16:04 +0200
Cc: caml-list@inria.fr
Message-Id: <42789CFD-67A0-4237-86FE-8672A4DFF183@inria.fr>
From: Damien Doligez <damien.doligez@inria.fr>
To: Jon Harrop <jon@ffconsultancy.com>
In-Reply-To: <200807261622.04410.jon@ffconsultancy.com>
Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0 (Apple Message framework v926)
Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans
Date: Tue, 29 Jul 2008 16:16:03 +0200
References: <1217062966.488ae8367f0d2@webmail.inescporto.pt> <200807261240.10757.jon@ffconsultancy.com> <20080726220755.9232fa7f.mle+ocaml@mega-nerd.com> <200807261622.04410.jon@ffconsultancy.com>
X-Mailer: Apple Mail (2.926)
X-Miltered: at concorde with ID 488F261A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; damien:01 damien:01 ocaml:01 ocaml:01 plug-in:98 26,:98 doligez:01 doligez:01 wrote:01 caml-list:01 tail:01 external:03 identifier:04 inria:06 definition:07 


On 2008-07-26, at 17:22, Jon Harrop wrote:

> For example, I cannot even jump to the definition of an identifier  
> reliably.

OCaml 3.11 has extended .annot files that will allow external tools
to do that.  Also, it tells you which function calls are tail calls
and which are normal calls.

-- Damien