From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id A5FDB7EE99
	for <caml-list@sympa.inria.fr>; Tue, 10 Dec 2013 23:55:53 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  lukstafi@gmail.com) identity=pra; client-ip=209.85.212.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  lukstafi@gmail.com designates 209.85.212.176 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f176.google.com) identity=helo;
  client-ip=209.85.212.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="postmaster@mail-wi0-f176.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvECANOap1LRVdSwlGdsb2JhbABZDoQEuSGBGAgWDgEBAQEHCwsJEiqCHAkBAQQBQAEbHQEDDAYFAwEHOyEBAREBBQEcBhOHbwEDCQalX4xZgwmEPQoZJw1khgMRAQUMjGeCEgeENASWKYFrjFqDTBgphBZAOw
X-IPAS-Result: AvECANOap1LRVdSwlGdsb2JhbABZDoQEuSGBGAgWDgEBAQEHCwsJEiqCHAkBAQQBQAEbHQEDDAYFAwEHOyEBAREBBQEcBhOHbwEDCQalX4xZgwmEPQoZJw1khgMRAQUMjGeCEgeENASWKYFrjFqDTBgphBZAOw
X-IronPort-AV: E=Sophos;i="4.93,867,1378850400"; 
   d="scan'208";a="48164046"
Received: from mail-wi0-f176.google.com ([209.85.212.176])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Dec 2013 23:55:53 +0100
Received: by mail-wi0-f176.google.com with SMTP id hq4so6219667wib.3
        for <caml-list@inria.fr>; Tue, 10 Dec 2013 14:55:53 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        bh=wF5B5bjrI9fPoQNnGz65Ty074V5V9781oUnDNIQRos0=;
        b=uh5+6t2K573WZ0Ex0HBJ9eXze7OJ1ajlcoWgwaZdSBYvokHP5VMqHXjPcH6IIfnrvP
         MXM7qfbS3ohCvOQUfkoxYxiHvSOilLvhAH8mJwvFboW+Ow8B/A5vdji7t5CBM7WOF30v
         9biwqy8oEm6hixY21hjTOpkl05Fp0HQv3uYL7K9Zp5quasAhEtrtzYK8UjFo4mZdYHb4
         iMpF5st3ZrTIujadqKXwupOP+Mc4mPYcwHx1ShucIaQLscqK0ysX6EP17kk+VgGKiGX3
         gGKCPycLSpUI+vcXSfPdcpEFCT/Ut/AauC3D4xF3Ra/wsrUlxKEUaA9V+77xrBhoCN2L
         ncrA==
X-Received: by 10.180.83.1 with SMTP id m1mr138268wiy.9.1386716153083; Tue, 10
 Dec 2013 14:55:53 -0800 (PST)
MIME-Version: 1.0
Received: by 10.227.36.201 with HTTP; Tue, 10 Dec 2013 14:55:33 -0800 (PST)
In-Reply-To: <CAJMfKEWY2EUtpzLX8KWUMOK7=dGvGmNcDBwLZxERMa3MTNdoqA@mail.gmail.com>
References: <CAJMfKEWLZdj8ceGxOUU=uUFdrH8aE+emiY5_eLfOHzfqoPwpqA@mail.gmail.com>
 <CAJMfKEU6=ddcuFHj909L9kU0B1jN3kYm-aXY24th8b6vtaV9_A@mail.gmail.com>
 <CAJMfKEWEcbFaQs2fPRj9xah+RTSkpmywpg2fsbusmacndViXQg@mail.gmail.com>
 <CAJMfKEUWRYj5w23-3EOSJuoMGhuAX+164rAE_+fKwvArfYA4hw@mail.gmail.com>
 <CAJMfKEUURCt4hs9sUNpextFZOafcRz=cQNm0i0uPwfyeZiNuvA@mail.gmail.com>
 <CAJMfKEW9TVbuBWwwA+6zwKS+dr0kmOW_fWDD+Z=PcT0+m7ADqw@mail.gmail.com>
 <83E00BC5-3599-4702-873E-0FD6863050CC@math.nagoya-u.ac.jp> <CAJMfKEWY2EUtpzLX8KWUMOK7=dGvGmNcDBwLZxERMa3MTNdoqA@mail.gmail.com>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Tue, 10 Dec 2013 23:55:33 +0100
Message-ID: <CAJMfKEVDJ8=x=ewjuDexsfw1Jd6zM2DEQTSBGfD4_6NX5L=D=A@mail.gmail.com>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: OCaml Mailing List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=f46d04428dd4b57e2a04ed360368
Subject: Re: [Caml-list] Polymorphic recursion and GADTs

--f46d04428dd4b57e2a04ed360368
Content-Type: text/plain; charset=ISO-8859-1

On Tue, Dec 10, 2013 at 11:51 PM, Lukasz Stafiniak <lukstafi@gmail.com>wrote:

>
>> I do not need it, I am just exploring ways of outputting that information
> in case someone would find it useful (under the big conditional that
> someone would find InvarGenT useful in the first place, rather than just
> cool...)
>
*under the big counterfactual
*rather than merely cool

--f46d04428dd4b57e2a04ed360368
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote">On T=
ue, Dec 10, 2013 at 11:51 PM, Lukasz Stafiniak <span dir=3D"ltr">&lt;<a hre=
f=3D"mailto:lukstafi@gmail.com" target=3D"_blank">lukstafi@gmail.com</a>&gt=
;</span> wrote:<br>

<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra">=
<div class=3D"gmail_quote"><div class=3D"im"><blockquote class=3D"gmail_quo=
te" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<span><font color=3D"#888888"><br></font></span></blockquote></div><div>I d=
o not need it, I am just exploring ways of outputting that information in c=
ase someone would find it useful (under the big conditional that someone wo=
uld find InvarGenT useful in the first place, rather than just cool...)</di=
v>


</div></div></div>
</blockquote></div>*under the big counterfactual</div><div class=3D"gmail_e=
xtra">*rather than merely cool</div></div>

--f46d04428dd4b57e2a04ed360368--