From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id B16487EEFD
	for <caml-list@sympa.inria.fr>; Fri,  2 Oct 2015 00:24:51 +0200 (CEST)
IronPort-PHdr: 9a23:djWnMxdpwcaSpmMOvLksofQ5lGMj4u6mDksu8pMizoh2WeGdxc6yYx7h7PlgxGXEQZ/co6odzbGG7+a+AidZut6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDuvcOIKFwTzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzaz2AcU34W2jNHChLa5RWyCp7+uzHlv+4kiXbHFcLzRLEwHz+l6vE4ZgXvjXIrPjg4/WXgoFh2nqZa6Eatrhp+zoqSapyYMuh6f4vQZ8kTWWtYQ8sXXCwXUdD0VJcGE+dUZbUQlIL6vVZb6ELmXQQ=
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0A3AQAJsg1WnEpWN0peyl0CgXQQAQEBAQEBAQEQAQEBAQEGDQkJIS6CHYIIAQEEI1YQCxoCJgICRxAGG4gmBLdIlEsBAQEBBgEBAQEBHYEiik+FDQeCaS+BFAWVeZYKEJJNOIJSgVyKaAEBAQ
X-IPAS-Result: A0A3AQAJsg1WnEpWN0peyl0CgXQQAQEBAQEBAQEQAQEBAQEGDQkJIS6CHYIIAQEEI1YQCxoCJgICRxAGG4gmBLdIlEsBAQEBBgEBAQEBHYEiik+FDQeCaS+BFAWVeZYKEJJNOIJSgVyKaAEBAQ
X-IronPort-AV: E=Sophos;i="5.17,619,1437429600"; 
   d="scan'208";a="149328549"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Oct 2015 00:24:50 +0200
Received: from [192.168.0.2] (cpc16-cmbg14-2-0-cust300.5-4.cable.virginm.net [86.6.157.45])
	by smtp.webfaction.com (Postfix) with ESMTP id 1E4765A1269F;
	Thu,  1 Oct 2015 22:23:53 +0000 (UTC)
Date: Thu, 1 Oct 2015 23:23:51 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Ashish Agarwal <agarwal1975@gmail.com>
Cc: Haoyang Wang <hywang@pobox.com>, Caml List <caml-list@inria.fr>
Message-ID: <27679C4D5DC5402FB7581A66D9FF858F@erratique.ch>
In-Reply-To: <CAMu2m2+6ho1+2pgnzPA=Am2Cqn0L8NcCtVz2dvnXOZy1ERXRUQ@mail.gmail.com>
References: <CAMu2m2+ea9Dr83LpFsU3LEFs_qu0mfW7GGF9QCxrX2BMN0Qrvg@mail.gmail.com>
 <C01474BA-2D30-4339-82BE-4D2FA6CD6FAF@pobox.com>
 <CAMu2m2+6ho1+2pgnzPA=Am2Cqn0L8NcCtVz2dvnXOZy1ERXRUQ@mail.gmail.com>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] type synonym for polymorphic variant

Le jeudi, 1 octobre 2015 =C3=A0 23:06, Ashish Agarwal a =C3=A9crit :
> Embarrassing.

Not really, since you are allowed to write=20=20

type t =3D [ s | `C ]

Daniel