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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 28B4CBB84 for ; Tue, 29 Jul 2008 20:01:13 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAPn3jkjAXQIm/2dsb2JhbACLH6Y8 X-IronPort-AV: E=Sophos;i="4.31,273,1215381600"; d="scan'208";a="15564792" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Jul 2008 20:01:12 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6TI192u005628 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 29 Jul 2008 20:01:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArAFAPn3jkiBrw8EWGdsb2JhbACLH4ctARshnlI X-IronPort-AV: E=Sophos;i="4.31,273,1215381600"; d="scan'208";a="13559973" Received: from ext.lri.fr ([129.175.15.4]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Jul 2008 20:01:11 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id 6B7B8A4892; Tue, 29 Jul 2008 20:01:11 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 1xQTCed9-rN2; Tue, 29 Jul 2008 20:01:11 +0200 (CEST) Received: from [192.168.0.10] (mry91-1-82-229-156-20.fbx.proxad.net [82.229.156.20]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTP id 26F07A488C; Tue, 29 Jul 2008 20:01:11 +0200 (CEST) Message-ID: <488F5AE6.4010304@lri.fr> Date: Tue, 29 Jul 2008 20:01:10 +0200 From: =?ISO-8859-1?Q?Jean-Christophe_Filli=E2tre?= User-Agent: Thunderbird 1.5.0.14ubu (X11/20080502) MIME-Version: 1.0 To: Lukasz Stafiniak Cc: caml-list@inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans References: <1217062966.488ae8367f0d2@webmail.inescporto.pt> <200807261240.10757.jon@ffconsultancy.com> <20080726220755.9232fa7f.mle+ocaml@mega-nerd.com> <200807261622.04410.jon@ffconsultancy.com> <42789CFD-67A0-4237-86FE-8672A4DFF183@inria.fr> <4a708d20807290730k133199g3e01e21e417d4d4e@mail.gmail.com> In-Reply-To: <4a708d20807290730k133199g3e01e21e417d4d4e@mail.gmail.com> X-Enigmail-Version: 0.94.2.0 OpenPGP: url=http://www.lri.fr/~filliatr/mykey.asc Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 488F5AE5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 ocaml:01 lukasz:01 damien:01 damien:01 ocaml:01 cvs:01 plug-in:98 doligez:01 doligez:01 wrote:01 caml-list:01 tail:01 Lukasz Stafiniak a écrit : > On Tue, Jul 29, 2008 at 4:16 PM, Damien Doligez wrote: >> 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. >> > Cool! Are the http://osp.janestcapital.com/files/ocamlwizard.pdf > project participants following this? Would be nice to hear their > progress report :) They tried, indeed (I'm kind of helping in that projet, so I'm aware of the progress). Unfortunately, even with the CVS version of Ocaml, the .annot files appear to lack some information. But the solution currently followed by Ocamlwizard is along the lines of .annot files, and may even rely on these files in future version of Ocaml. -- Jean-Christophe