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 C32507EC6E
	for <caml-list@sympa.inria.fr>; Thu, 19 Dec 2013 23:22:06 +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.172;
  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.172 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.172;
  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-f172.google.com) identity=helo;
  client-ip=74.125.82.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="postmaster@mail-we0-f172.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqMCAB9xs1JKfVKslGdsb2JhbABZhBi5L4ENCBYOAQEBAQcLCwkSKoIcCQEBAQMBQAEbHgMBCwYFAwEHOyEBAREBBQEcBhMIh2cBAwkIpUuMWoMJjgUKGScNZIYYEQEFDIxzgTERAVeENgSWK4FrjFqDTRgphFg7gTU
X-IPAS-Result: AqMCAB9xs1JKfVKslGdsb2JhbABZhBi5L4ENCBYOAQEBAQcLCwkSKoIcCQEBAQMBQAEbHgMBCwYFAwEHOyEBAREBBQEcBhMIh2cBAwkIpUuMWoMJjgUKGScNZIYYEQEFDIxzgTERAVeENgSWK4FrjFqDTRgphFg7gTU
X-IronPort-AV: E=Sophos;i="4.95,515,1384297200"; 
   d="scan'208";a="49782134"
Received: from mail-we0-f172.google.com ([74.125.82.172])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Dec 2013 23:22:06 +0100
Received: by mail-we0-f172.google.com with SMTP id p61so1737451wes.17
        for <caml-list@inria.fr>; Thu, 19 Dec 2013 14:22:06 -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
         :content-type;
        bh=yx3HIwAXN8mT6V9WgI2ulKc1sdU+cW/nSfEjc085VC0=;
        b=mG6gMUD51hoyzvWXBXYfSleQ6TKmS23eTG81ZYRQ5wVvnNTeOjtHx0DawXUi6Xq6cT
         5cRJsMSCIBUhu0aQ4khlnEfMpK1HoHz9karFt3XzVn7Al/Xy/uyznsQXDCh3WsUllAnF
         enPfzzPc5gVUxCwrYDw4x3HCX7M8B5AbCe1EArBClM/N9xRjDBr6ziZcJ7JWTk0grGZw
         9mhtj+QzLOVMi0QfQuJ0JZQNw5xLZMd7HTI0QSjr8xnHSYpQaIf4IeBv4wcKwHlVqGMj
         Ccv5J/No9xUaZRd3lJv8rLomUO27H2/oJlkEEzzE2G9lCaHaZPhJyGEqWiau+2v85Ulo
         jB1Q==
X-Received: by 10.180.83.1 with SMTP id m1mr4657669wiy.9.1387491726425; Thu,
 19 Dec 2013 14:22:06 -0800 (PST)
MIME-Version: 1.0
Received: by 10.227.36.201 with HTTP; Thu, 19 Dec 2013 14:21:46 -0800 (PST)
In-Reply-To: <CAJMfKEXvzdnEYq+h5BjqW6Nre0Dv8HPy+20Z+uSK7DRN6rqmUg@mail.gmail.com>
References: <CAJMfKEUsQn6MmcwDPhOzwrozOr5biQb-ktVaS2x=KwCdCZEARw@mail.gmail.com>
 <CAJMfKEXvzdnEYq+h5BjqW6Nre0Dv8HPy+20Z+uSK7DRN6rqmUg@mail.gmail.com>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Thu, 19 Dec 2013 23:21:46 +0100
Message-ID: <CAJMfKEX5Hu3a6Z6Csv38NwCOnKtNtPC_3cQ_bdDTokQoUrHa9g@mail.gmail.com>
To: Caml <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=f46d04428dd47b83a904edea974a
Subject: Re: [Caml-list] GADT definition

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

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.

--f46d04428dd47b83a904edea974a
Content-Type: text/html; charset=ISO-8859-1

<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Dec 19, 2013 at 11:20 PM, Lukasz Stafiniak <span dir="ltr">&lt;<a href="mailto:lukstafi@gmail.com" target="_blank">lukstafi@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Sorry! I&#39;ve spotted it reading the email. (I should read before sending.)<br><div class="gmail_extra">

<br></div></div></blockquote><div>No, that&#39;s not it. My question is still open.</div></div></div></div>

--f46d04428dd47b83a904edea974a--