From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5RFvCUD003992
	for <caml-list@sympa-roc.inria.fr>; Mon, 27 Jun 2011 17:57:12 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhcCADWnCE7RVdW2kGdsb2JhbAA8AQMSpyYIFAEBAQEJCQ0HFAQhrEeMGoJKhDw5iGgBAQMGhioEkgOJN4JUPINw
X-IronPort-AV: E=Sophos;i="4.65,432,1304287200"; 
   d="scan'208";a="86170956"
Received: from mail-yx0-f182.google.com ([209.85.213.182])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Jun 2011 17:57:06 +0200
Received: by yxl31 with SMTP id 31so1499027yxl.27
        for <multiple recipients>; Mon, 27 Jun 2011 08:57:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:cc:content-type
         :content-transfer-encoding;
        bh=Wb6TRk/NT5O1tloxGk8ITH3iG0pS4Qlr+IhS25BCtRw=;
        b=lbB1HdPivNxKkp4A3kHMlD7gY4mJ0Pz2UwgMXpQP13F09ETTooQcE8TKCenRqv1lXJ
         M9M8RyzuM8I1IW0u1OO1l+rMaEQ0MUJIep0DpKqKQTCkV0oky1p1/8J9aXQkg7dwozqx
         OCZqYCJLLwMDYI04OvIjXvXS2nLkUCrwUyD6Y=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type:content-transfer-encoding;
        b=tKEv1pAYpIEQTiGDalwbIMVamuKq2xpivLBhpM02Fhoyd3sMbey9f765Qpb5H4vru3
         pmRW4+s3vdPEPWi8DRqTH5spyYdDIT233LZqbeE2zv1PGz7qy9KO/FvPQUuUI0Qpsd6J
         srqAAsR2qAv/+gEkNV778ezeMDtPOtleLt91A=
MIME-Version: 1.0
Received: by 10.236.185.69 with SMTP id t45mr8818930yhm.405.1309190224768;
 Mon, 27 Jun 2011 08:57:04 -0700 (PDT)
Received: by 10.236.207.194 with HTTP; Mon, 27 Jun 2011 08:57:04 -0700 (PDT)
In-Reply-To: <BANLkTin7Kk7ASVcMnCt4zOG7UfOPqAH=Ug@mail.gmail.com>
References: <0EC5BE6E-FBB1-4B89-8362-5F9005AE7B84@inria.fr>
	<305A0394-9E08-4347-8320-BB5F5EFAF363@gmail.com>
	<4E085B9B.1020502@glondu.net>
	<4AEC4555-7685-4156-AEAE-062B64803556@inria.fr>
	<BANLkTin7Kk7ASVcMnCt4zOG7UfOPqAH=Ug@mail.gmail.com>
Date: Mon, 27 Jun 2011 11:57:04 -0400
Message-ID: <BANLkTinW-2704bW+Znfob59e3344k2UBCg@mail.gmail.com>
From: Markus Mottl <markus.mottl@gmail.com>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: xclerc <xavier.clerc@inria.fr>, caml users <caml-list@inria.fr>,
        Serge Ziryukin <ftrvxmtrx@gmail.com>,
        Damien Doligez <damien.doligez@inria.fr>,
        =?ISO-8859-1?Q?St=E9phane_Glondu?= <steph@glondu.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p5RFvCUD003992
Subject: Re: [Caml-list] OCaml 3.12.1 compatibility report

On Mon, Jun 27, 2011 at 11:22, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
> I'd be interested to understand why bin_prot ends up comparing
> bigarrays of different layouts: is this an oversight in the test suite
> or a strong requirement?

I have traced down this problem to the C-bindings of the bin-prot
library.  When it is supposed to unmarshal bigarrays, it always
allocates them using Fortran-layout.  But this should be C-layout for
"bigstrings".  I will fix this in the next release.  The problem
should not have any noticable other impact.

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com