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 6D41BBBAF for ; Mon, 25 Oct 2010 10:39:56 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgBAD7fxEzRVaE0kGdsb2JhbACESp0LCBUBAQEBCQkMBxEDH6AfiViCF4VVLohXAQEDBYVDBIRShXs X-IronPort-AV: E=Sophos;i="4.58,235,1286143200"; d="scan'208,217";a="75705338" Received: from mail-fx0-f52.google.com ([209.85.161.52]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Oct 2010 10:39:56 +0200 Received: by fxm12 with SMTP id 12so1967728fxm.39 for ; Mon, 25 Oct 2010 01:39:55 -0700 (PDT) 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=ohRJjTNI9ZmuFgessVcgDye3SLClUX6onaFdGFQAVus=; b=WRbDXNEvlLdCB38t6gzKmxTMIplsLn8UuSqWiK3JtrQ09qkt8OmpEqkOoNSiKh2ZCR 3M8ff0jt9HEXzaoOkEW0QWb923qt6fULta+LL1aGPiswwvPKwj25RbTV4aNUK5ZQ8ug3 u2bcfP8u/wPXwEM+iHMwnsiOohk/1u8XorMjM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=V4RJ+OcEk/E5G/+fy2aMU3PFoWUwefgpL9HB3MMyQuK04s27C/0cMrQTw1TU/1TySM qu9pnVvHSQ2ObYY3bNRQBLTKdaAmaYM121YHvFABjwI7eg5qQODscm89WiGBnw8bb0QW OwOktcN2sErxHNrZpsYca123UEPQv0kctq9tQ= MIME-Version: 1.0 Received: by 10.239.185.197 with SMTP id d5mr1486579hbh.19.1287995995544; Mon, 25 Oct 2010 01:39:55 -0700 (PDT) Received: by 10.239.169.204 with HTTP; Mon, 25 Oct 2010 01:39:55 -0700 (PDT) Date: Mon, 25 Oct 2010 17:39:55 +0900 Message-ID: Subject: Generalized Algebraic Datatypes From: Jacques Le Normand To: caml-list caml-list Content-Type: multipart/alternative; boundary=001485f03ff6c95b8804936ceff8 X-Spam: no; 0.00; datatypes:01 o'caml:01 compiler:01 o'caml:01 datatypes:01 ocaml:01 compiler:01 ocaml:01 experimental:01 experimental:01 caml:02 caml:02 algebraic:03 algebraic:03 jacques:03 --001485f03ff6c95b8804936ceff8 Content-Type: text/plain; charset=ISO-8859-1 Dear Caml list, I am pleased to announce an experimental branch of the O'Caml compiler: O'Caml extended with Generalized Algebraic Datatypes. You can find more information on this webpage: https://sites.google.com/site/ocamlgadt/ And you can grab the latest release here: svn checkout https://yquem.inria.fr/caml/svn/ocaml/branches/gadts Any feedback would be very much appreciated. Sincerely, Jacques Le Normand --001485f03ff6c95b8804936ceff8 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear Caml list,

I am pleased to announce an experimental= branch of the O'Caml compiler: O'Caml extended with Generalized Al= gebraic Datatypes. You can find more information on this webpage:



And you can grab the latest release here:

svn checkout https://yquem.inria.fr/caml/svn/ocaml/branches/gadts
Any feedback would= be very much appreciated.

Sincerely,
Jacques Le Normand

 --001485f03ff6c95b8804936ceff8--