From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E8D2DBC37 for ; Thu, 10 Dec 2009 15:29:25 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwDALeUIEtDz4HegWdsb2JhbACbRwEBFiS6UIQrBIMY X-IronPort-AV: E=Sophos;i="4.47,375,1257116400"; d="scan'208";a="51871250" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Dec 2009 15:29:25 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTPS id DBCB61848F for ; Thu, 10 Dec 2009 14:29:23 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id A973A6106; Thu, 10 Dec 2009 15:29:22 +0100 (CET) Date: Thu, 10 Dec 2009 15:29:22 +0100 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] revised syntax for abstract types ? Message-ID: <20091210142922.GA12408@usha.takhisis.invalid> References: <1260446204.22959.298.camel@serge2.localnet> <1260452934-sup-6342@peray> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1260452934-sup-6342@peray> User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; zacchiroli:01 zack:01 syntax:01 0100,:01 syntax:01 zacchiroli:01 postdoc:01 zack:01 10,:98 2009:98 2009:98 dietro:98 c'e:98 sempre:98 wrote:01 On Thu, Dec 10, 2009 at 02:49:43PM +0100, Nicolas Pouillard wrote: > Excerpts from Serge Leblanc's message of Thu Dec 10 12:56:44 +0100 2009: > > Hi, the documentation for the revised syntax explain that abstract types > > are expressed by : > > The documentation is too old Any chance that it will be updated any time soon? -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime