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=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 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 D2AC3BB84 for ; Tue, 29 Jul 2008 16:30:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAMDGjkjAXQIm/2dsb2JhbACSFJkvhUY X-IronPort-AV: E=Sophos;i="4.31,272,1215381600"; d="scan'208";a="15613033" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Jul 2008 16:30:29 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6TEUTn4031447 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 29 Jul 2008 16:30:29 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AogAAMDGjkjRVcbilGdsb2JhbACSFEMBAQEBCQMKBxEDmDeFRg X-IronPort-AV: E=Sophos;i="4.31,272,1215381600"; d="scan'208";a="15558507" Received: from rv-out-0506.google.com ([209.85.198.226]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Jul 2008 16:30:28 +0200 Received: by rv-out-0506.google.com with SMTP id k40so3776277rvb.57 for ; Tue, 29 Jul 2008 07:30:27 -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:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=P7LHVf03a3Z58tVCcz7uWbvBMoSyCp3r2SSY/glpjEQ=; b=Mb/7BQfvuszpbEn6iLXo7lxkqy/2TXlSn1lt4+BdWgck4qwx6yY3uOxkZ1coT1VXEQ JSyCNZqZMYj2Up07vmk1XmXyZPENy5g3MPxAIA3/UyGxNCOLIjPUfxQ2eQYI6w0mnW83 hWItIv0hol4l2mWHk09t9g8d5d5757pHWMIBc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=U5ox01FHgu2rG8WdnCaE898MG15VJm3Rmx07aRULScp1ONLA8iKWqF/UdOVzJQ3QLf 87TpA+drh+SqdnFXubA31AQ1S7kdTXNKdOnuA0/R4QPAEVLz/qiEmkK9ZA5+bBBTISWX KBJ1U/1MBFWkFvDUWdSNEpjVBBnYHwK/8CQmQ= Received: by 10.141.198.2 with SMTP id a2mr3149533rvq.219.1217341826493; Tue, 29 Jul 2008 07:30:26 -0700 (PDT) Received: by 10.141.136.11 with HTTP; Tue, 29 Jul 2008 07:30:26 -0700 (PDT) Message-ID: <4a708d20807290730k133199g3e01e21e417d4d4e@mail.gmail.com> Date: Tue, 29 Jul 2008 16:30:26 +0200 From: "Lukasz Stafiniak" To: caml-list@inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans In-Reply-To: <42789CFD-67A0-4237-86FE-8672A4DFF183@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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> X-Miltered: at discorde with ID 488F2985.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lukasz:01 ocaml:01 damien:01 damien:01 ocaml:01 plug-in:98 doligez:01 doligez:01 wrote:01 caml-list:01 tail:01 external:03 jul:05 tue:06 inria:06 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 :)