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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 666A6BBAF for ; Mon, 25 Oct 2010 12:17:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkIAIP1xExii1tKZWdsb2JhbACDHpAajkcKCRgFH6kLPIIXhWWJBQEEBAGBHYMydASEVIh/ X-IronPort-AV: E=Sophos;i="4.58,235,1286143200"; d="scan'208";a="76044306" Received: from nm4.bullet.mail.sp2.yahoo.com ([98.139.91.74]) by mail2-smtp-roc.national.inria.fr with SMTP; 25 Oct 2010 12:17:36 +0200 Received: from [98.139.91.63] by nm4.bullet.mail.sp2.yahoo.com with NNFMP; 25 Oct 2010 10:17:34 -0000 Received: from [98.139.91.51] by tm3.bullet.mail.sp2.yahoo.com with NNFMP; 25 Oct 2010 10:17:34 -0000 Received: from [127.0.0.1] by omp1051.mail.sp2.yahoo.com with NNFMP; 25 Oct 2010 10:17:34 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 789670.49724.bm@omp1051.mail.sp2.yahoo.com Received: (qmail 24574 invoked by uid 60001); 25 Oct 2010 10:17:34 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1288001854; bh=eiAT2f4cDYbSGH4Icrh0MOyW0ci+FVFnxTN38NLbeus=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=fEHB/E09K4qD/tv6VBU9z9Bev43V2MgCoBhFXjnc+NLd6tCRTuHqSLkAAIbz3BXL+GH4+n7LIRDTOO87xAc1UQ0RZ4raUIzmVDtOt3Zcru5nJ/Z3j0m3FAJ9TjcKGyc4u3tvy+vJC8qqY1xFpnw7sC4wsMow4U+lEEmkRGCcPUg= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=vSRpZ7SRe89tl+KuSp8HX42bLzR/9Jtbt0RBuhVFoz1zMALLSe1MPzlXJOaInkV5e87dhGrMJpa5Y7IB+AcCtczqkqL1nsFvqEXn1MlDqJ8q+ykmte+PYmy4XwYSlJQ67zWFb/9NVpD8SkQaol/IixaHkSom7Jlzy5qywetJgLQ=; Message-ID: <183441.22640.qm@web111508.mail.gq1.yahoo.com> X-YMail-OSG: PGm3h_YVM1mSQhhs3mLOhR5qA7M1po8ucaSqMM5Sk57VRg7 8KU1uLAzwkgBdbkVLnU_q4BcTa2E6TjPPWPiVbedoIYN0M1EnFI6UOzzLF2w n7OTgUcVv.cqeasiZz95.QufuYTHs4DeKCv_SQXsIW3ONKD_U4Kqw0RRPUGY FyMNocW_KPwk7.1UcvcUc3rIO.pQ1i6tWfGvlGWsYbLgNxVjv4_nF6AT1fB1 jSYzjUTKRsGA8GbRLRTVIP.D5zK01JhTnvqk964irEBplGcnmmGWvMD1qhlz j34_6yIe5rN1V3xFBNOS41k_zomOSNv8Z5O9MwoEOCDxKPmzuqJEXBrQ- Received: from [213.205.70.196] by web111508.mail.gq1.yahoo.com via HTTP; Mon, 25 Oct 2010 03:17:33 PDT X-Mailer: YahooMailClassic/11.4.9 YahooMailWebService/0.8.107.284920 Date: Mon, 25 Oct 2010 03:17:33 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Generalized Algebraic Datatypes To: caml-list caml-list , Jacques Le Normand MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; datatypes:01 o'caml:01 compiler:01 o'caml:01 datatypes:01 ocaml:01 digestion:98 experimental:01 caml-list:01 algebraic:03 algebraic:03 let:03 generalized:04 generalized:04 depth:07 Hi,=0A=0A> I am pleased to announce an experimental branch of the O'Caml co= mpiler:=0A> O'Caml extended with Generalized Algebraic Datatypes. You can f= ind more=0A> information on this webpage:=0A=0AMore in depth feedback will = come after proper digestion; for now let me=0Ajust say these are great news= ! And I'm sure there are other Ocaml users=0Aout there who will be glad to= finally get rid of some of the Obj.magic=0Ablemishes in their code...=0A= =0ABest regards,=0ADario Teixeira=0A=0A=0A=0A