From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5RCnFra028690 for ; Mon, 27 Jun 2011 14:49:15 +0200 X-IronPort-AV: E=Sophos;i="4.65,431,1304287200"; d="scan'208";a="112010245" Received: from mp-57040.rocqadm.inria.fr ([128.93.57.40]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 27 Jun 2011 14:49:09 +0200 Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=iso-8859-1 From: xclerc In-Reply-To: <4E085B9B.1020502@glondu.net> Date: Mon, 27 Jun 2011 14:49:09 +0200 Cc: Serge Ziryukin , Damien Doligez , =?iso-8859-1?Q?St=E9phane_Glondu?= Message-Id: <4AEC4555-7685-4156-AEAE-062B64803556@inria.fr> References: <0EC5BE6E-FBB1-4B89-8362-5F9005AE7B84@inria.fr> <305A0394-9E08-4347-8320-BB5F5EFAF363@gmail.com> <4E085B9B.1020502@glondu.net> To: caml users X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p5RCnFra028690 Subject: Re: [Caml-list] OCaml 3.12.1 compatibility report Le 27 juin 2011 à 12:29, Stéphane Glondu a écrit : > Le 16/06/2011 19:59, Serge Ziryukin a écrit : >> [...] >>> bin_prot-1.3.1.tar.gz >> [...] >> >> Did you also run 'make test' on bin_prot? >> It fails for me: >> >> I: Running command '/Users/ftrvxmtrx/temp/sandbox/bin_prot-1.3.1/_build/lib_test/test_runner' >> ........................F................................F......... >> ============================================================================== >> Failure: 1:Bin_prot_c:24:bigstring >> >> OUnit: read_bigstring [| ... |]: returned wrong result >> ------------------------------------------------------------------------------ >> ============================================================================== >> Failure: 0:Bin_prot_ml:24:bigstring >> >> OUnit: read_bigstring [| ... |]: returned wrong result >> ------------------------------------------------------------------------------ >> Ran: 67 tests in: 0.04 seconds. >> FAILED: Cases: 67 Tried: 67 Errors: 0 Failures: 2 Skip:0 Todo:0 > > I can reproduce this error, and it appears with this new OCaml version (and not with OCaml 3.12.0). Had quite a hard time to pinpoint the problem, but finally got it. The tests are failing because a try is made to compare two big arrays with different layouts. It used to be accepted by the big array compare function, but now only big arrays with the same kind and layout can be compared [1]. Regards, Xavier Clerc [1] cf. http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/version/3.12/otherlibs/bigarray/bigarray_stubs.c?rev=11037&r1=10496&r2=11037