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 26FA47EEB4
	for <caml-list@sympa.inria.fr>; Fri,  1 Feb 2013 21:44:57 +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.128.173;
  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.128.173 as permitted
  sender) identity=mailfrom; client-ip=209.85.128.173;
  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-ve0-f173.google.com) identity=helo;
  client-ip=209.85.128.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="postmaster@mail-ve0-f173.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuMCAF8oDFHRVYCtlGdsb2JhbABFvycIFg4BAQEBCQkUEimCHgEBBUABGx0BAwwGBQsNLiEBAREBBQEcBhMIh3YBAw+kT4w0gnuEYgoZJw1ZiHcBBQyMDYU1A5RAgVeLPoMxFimEHw
X-IPAS-Result: AuMCAF8oDFHRVYCtlGdsb2JhbABFvycIFg4BAQEBCQkUEimCHgEBBUABGx0BAwwGBQsNLiEBAREBBQEcBhMIh3YBAw+kT4w0gnuEYgoZJw1ZiHcBBQyMDYU1A5RAgVeLPoMxFimEHw
X-IronPort-AV: E=Sophos;i="4.84,579,1355094000"; 
   d="scan'208";a="1054828"
Received: from mail-ve0-f173.google.com ([209.85.128.173])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Feb 2013 21:44:56 +0100
Received: by mail-ve0-f173.google.com with SMTP id oz10so3326025veb.32
        for <caml-list@inria.fr>; Fri, 01 Feb 2013 12:44:55 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:mime-version:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=eI0NVPigqxxT0l1fz9vw14rqr2SGrgkZ8xYjYKyaTt0=;
        b=Z5z962/Ti6N0b6EBbNbRKu63BZjmw0YcauZ1ZiKORc5eBP3/V0SaBSbXkuNJY7DpMM
         zXNvYQjSnPzXDN2SOr/GrheL4rSUNhYk6u2taHFLAUyIG+RMwp1dTDaC/kjtoTHi5uN6
         Bsmo55eAMcn08fBLtfOIYKr26uoXiP/CDVMyi8AoIP75InHCuu2SyofU/ClLQB+poBck
         M9jO9pRq7tKa66F/q7WaQJk7tUSivSCRC+X3UzzMkq9nd+o6qzk/DjlZfyqH3ML9vCpH
         GfA7ydZzD4VFVOPq5CRkSgYm46nL63Xyp92+UOHd/n4kCPQhTGEsFEOMx69KjXfnDiCA
         DH4Q==
X-Received: by 10.52.24.114 with SMTP id t18mr3906147vdf.62.1359751495530;
 Fri, 01 Feb 2013 12:44:55 -0800 (PST)
MIME-Version: 1.0
Received: by 10.58.46.80 with HTTP; Fri, 1 Feb 2013 12:44:35 -0800 (PST)
In-Reply-To: <CAJMfKEWYhH8LRC_RFvai1qqA2k-=mx4w+jAohXovtvzi66gN0Q@mail.gmail.com>
References: <CAMu2m2KBig1m=nvG_hf_axVJj64bnrKJFGieaxduCW3z5-VyEQ@mail.gmail.com>
 <CAJMfKEWYhH8LRC_RFvai1qqA2k-=mx4w+jAohXovtvzi66gN0Q@mail.gmail.com>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Fri, 1 Feb 2013 21:44:35 +0100
Message-ID: <CAJMfKEX7BDB34zhDdBj3NftTRm_YATL9T0uXppwa1ioBE5NkhA@mail.gmail.com>
To: Ashish Agarwal <agarwal1975@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] deep coercion does not work for some stdlib types

On Fri, Feb 1, 2013 at 9:39 PM, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
>
> You must have heard about the "mistake" of Go having covariant arrays.

Obviously I've got my facts wrong... sorry.