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 24FB2BBAF for ; Fri, 12 Nov 2010 08:05:50 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoBAJ523ExKfVK0kGdsb2JhbACiRggVAQEBAQkJDAcRAx+kLIlgghiEfS6IWQEBAwWFRQSEWIV/ X-IronPort-AV: E=Sophos;i="4.59,186,1288566000"; d="scan'208,217";a="78442365" Received: from mail-wy0-f180.google.com ([74.125.82.180]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Nov 2010 08:05:33 +0100 Received: by wyb29 with SMTP id 29so1025784wyb.39 for ; Thu, 11 Nov 2010 23:05:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:date:message-id :subject:from:to:content-type; bh=K//FU90S96KWVVob1qAywoxwR/8sJbg6U2wcmTPFNwY=; b=H+8BrTNjtg1tR5TC7bBGhcSXjsv+IF8SDaKaJAmU4CYYlJ/lWJ3F23GWAb+rSzjFAF kPuf2KXbFy8kn2iXhPtHzfkZK2JB+WMOO65dKdu0YoNGdYvuRKjJJuPO9RdiWcWCnQa6 vGDFixjF5k4qWo9guvQU5qDtqMK6ST1nu78F0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=fttMTU/HfHGVuVmGC1KdNbHD5BTZ7PvTToOl3FwO4bwJtM+svZtzXYv1EpBRBwD4SU l8n4irfytezqvw5x6gPRakBQ/c8hN+MpHBV+c9dCHBS+i/JBY1wtmq32xR1EaiUhO8HN AcwC5lg5jvmOrIV9SyGOnl5dv4vmPtSDO0pj4= MIME-Version: 1.0 Received: by 10.227.155.66 with SMTP id r2mr1905553wbw.116.1289545532279; Thu, 11 Nov 2010 23:05:32 -0800 (PST) Received: by 10.227.142.200 with HTTP; Thu, 11 Nov 2010 23:05:32 -0800 (PST) Date: Fri, 12 Nov 2010 16:05:32 +0900 Message-ID: Subject: Generalized Algebraic Datatypes branch is ready for testing From: Jacques Le Normand To: caml-list caml-list Content-Type: multipart/alternative; boundary=0016367fb6db5f8db00494d5b7b9 X-Spam: no; 0.00; datatypes:01 o'caml:01 camlp:01 ocaml:01 o'caml:01 camlp:01 ocaml:01 caml-list:01 caml-list:01 caml:02 caml:02 algebraic:03 jacques:03 jacques:03 generalized:04 --0016367fb6db5f8db00494d5b7b9 Content-Type: text/plain; charset=ISO-8859-1 Dear caml-list, I am pleased to announce that the GADT extension to O'Caml is now complete, apart from camlp4, and ready for testing: svn checkout https://yquem.inria.fr/caml/svn/ocaml/branches/gadts You can find more information here: https://sites.google.com/site/ocamlgadt/ So please test away! Jacques Le Normand --0016367fb6db5f8db00494d5b7b9 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear caml-list,

I am pleased to announce that the GADT e= xtension to O'Caml is now complete, apart from camlp4, and ready for te= sting:


You can find more information here:

https://sites.google.com/site/ocamlgadt/

So =
please test away!

Jacques Le Normand
--0016367fb6db5f8db00494d5b7b9--