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 D6EA07EC6E
	for <caml-list@sympa.inria.fr>; Thu, 19 Dec 2013 23:35:36 +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=74.125.82.179;
  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 74.125.82.179 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.179;
  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-we0-f179.google.com) identity=helo;
  client-ip=74.125.82.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="postmaster@mail-we0-f179.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqMCALBzs1JKfVKzlGdsb2JhbABZhBiDA7YsgQ0IFg4BAQEBBwsLCRIqgiUBAQEDASMdARsdAQMBCwYFBAEGDSoCAiEBAREBBQEcBhOHbwEDCQilSIwHU4MJjgUKGScNZIYYEQEFDIxzgTERAVAHgm6BSASWK4FrjFqDTRgphFg7gTU
X-IPAS-Result: AqMCALBzs1JKfVKzlGdsb2JhbABZhBiDA7YsgQ0IFg4BAQEBBwsLCRIqgiUBAQEDASMdARsdAQMBCwYFBAEGDSoCAiEBAREBBQEcBhOHbwEDCQilSIwHU4MJjgUKGScNZIYYEQEFDIxzgTERAVAHgm6BSASWK4FrjFqDTRgphFg7gTU
X-IronPort-AV: E=Sophos;i="4.95,515,1384297200"; 
   d="scan'208";a="49783216"
Received: from mail-we0-f179.google.com ([74.125.82.179])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Dec 2013 23:35:36 +0100
Received: by mail-we0-f179.google.com with SMTP id q59so1764025wes.10
        for <caml-list@inria.fr>; Thu, 19 Dec 2013 14:35:36 -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=U09RrCkPX498usKaZ6OLg0Q/iZedn5GRa7X+oJRsdxA=;
        b=NybjSN6jSw2uQpVSVZSquqJn9YI3WY0WmiTtagHng7cQWHxY7EvwgGdsr/KJSMbCrP
         FNEmOuXcVT8gbGjdWipCUnGPas6R6Ing1n9yIqtKR9IZQl8S5Y0pCea+U+4v66os6kU6
         QjmRXvrTkiqhZBJ3N+mSYj58yOmQ9rnAbAT3ZJi7thdW29mgh6OwiOtELh8/Z/aTX2f8
         /xZSerSAaZu72T+wzNos6ZlqH3oyFpJWKIJP4ZEj4/SN8qf4TfGo4RcgDUDxOCn5oA2H
         ZWxPh9MWPXpNzdCXd9Y8FuDptU4aPHcZXQVvMoa9Fka/WVoptdk6Ci7flB8djie18jsA
         fFNw==
X-Received: by 10.180.12.70 with SMTP id w6mr4764553wib.4.1387492536264; Thu,
 19 Dec 2013 14:35:36 -0800 (PST)
MIME-Version: 1.0
Received: by 10.227.36.201 with HTTP; Thu, 19 Dec 2013 14:35:15 -0800 (PST)
In-Reply-To: <CAKR7PS8=qpaF+yDfhBXAtrVasKbFWiJkHLmW-qM7-kTXGvMTAg@mail.gmail.com>
References: <CAJMfKEUsQn6MmcwDPhOzwrozOr5biQb-ktVaS2x=KwCdCZEARw@mail.gmail.com>
 <CAJMfKEXvzdnEYq+h5BjqW6Nre0Dv8HPy+20Z+uSK7DRN6rqmUg@mail.gmail.com>
 <CAJMfKEX5Hu3a6Z6Csv38NwCOnKtNtPC_3cQ_bdDTokQoUrHa9g@mail.gmail.com> <CAKR7PS8=qpaF+yDfhBXAtrVasKbFWiJkHLmW-qM7-kTXGvMTAg@mail.gmail.com>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Thu, 19 Dec 2013 23:35:15 +0100
Message-ID: <CAJMfKEXQFwGX=L0tbXuUdhqV00j83Ye80+SiBhJZ+TWAZFbcQQ@mail.gmail.com>
To: =?ISO-8859-2?Q?Milan_Stanojevi=E6?= <milanst@gmail.com>
Cc: Caml <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a11c223acc0af0b04edeac7d7
Subject: Re: [Caml-list] GADT definition

--001a11c223acc0af0b04edeac7d7
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Thu, Dec 19, 2013 at 11:27 PM, Milan Stanojevi=C4=87 <milanst@gmail.com>=
wrote:

> What version of ocaml are you using? It works for me on 4.00.1
>
>  OCaml 4.01.0 from OPAM.

 On Thu, Dec 19, 2013 at 5:21 PM, Lukasz Stafiniak <lukstafi@gmail.com>
> wrote:
> > On Thu, Dec 19, 2013 at 11:20 PM, Lukasz Stafiniak <lukstafi@gmail.com>
> > wrote:
> >>
> >> Sorry! I've spotted it reading the email. (I should read before
> sending.)
> >>
> > No, that's not it. My question is still open.
>

--001a11c223acc0af0b04edeac7d7
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote">On T=
hu, Dec 19, 2013 at 11:27 PM, Milan Stanojevi=C4=87 <span dir=3D"ltr">&lt;<=
a href=3D"mailto:milanst@gmail.com" target=3D"_blank">milanst@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">What version of ocaml are you using? It work=
s for me on 4.00.1<br>
<div class=3D"HOEnZb"><div class=3D"h5"><br></div></div></blockquote><div>=
=C2=A0OCaml 4.01.0 from OPAM.</div><div><br></div><blockquote class=3D"gmai=
l_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left=
:1ex"><div class=3D"HOEnZb">

<div class=3D"h5">
On Thu, Dec 19, 2013 at 5:21 PM, Lukasz Stafiniak &lt;<a href=3D"mailto:luk=
stafi@gmail.com">lukstafi@gmail.com</a>&gt; wrote:<br>
&gt; On Thu, Dec 19, 2013 at 11:20 PM, Lukasz Stafiniak &lt;<a href=3D"mail=
to:lukstafi@gmail.com">lukstafi@gmail.com</a>&gt;<br>
&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; Sorry! I&#39;ve spotted it reading the email. (I should read befor=
e sending.)<br>
&gt;&gt;<br>
&gt; No, that&#39;s not it. My question is still open.<br>
</div></div></blockquote></div><br></div></div>

--001a11c223acc0af0b04edeac7d7--