From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr 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 p5REex8R001090 for ; Mon, 27 Jun 2011 16:40:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4CAEWVCE7RVaEzkGdsb2JhbAA8AQMSCIRBk1uPFwgUAQEBAQkJDQcUBCGsT4tcSIJAhCmJIQEBAwaBJYN5gQwEkgOFUoY5PDCBCoI2 X-IronPort-AV: E=Sophos;i="4.65,432,1304287200"; d="scan'208";a="112022241" Received: from mail-fx0-f51.google.com ([209.85.161.51]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Jun 2011 16:40:54 +0200 Received: by mail-fx0-f51.google.com with SMTP id 10so1729535fxh.10 for ; Mon, 27 Jun 2011 07:40:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:reply-to:sender:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type:content-transfer-encoding; bh=+iYkLU3R+tHMVzXrE4vbyXD7xw8+tXAyHJvrtOAfQAQ=; b=Yt37fzImdUiqCLYVs3Y4tHixA5NOdP9OBdiwKZUPdgqLfhtSX6ghZjbNbUriNXaINC SdQejrpUsvaZpig5YZwvusUblrmJCa+KSYSNu/Q7PdvsCwxPi2Ec+3GIT36zvCllII3z lpL3h8VCDGmz/uv9dgTASdug5HQPBWZ/kqWC8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:reply-to:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=GBRE+XQ0oeVI21FPAYWLFOJh7ovxJr7bfRekYnNM7NVTGAhVnV9HaSAyqTVMPRsBtf e8UyJWh7ygslthfDSsFNJripn3T4nlOT6JAvRhLT/AElvykib9BccWIsImOLKwXVSsHN jKO40dLydBoKZQuhcdDDM7F1TVCey9iIVDwGM= MIME-Version: 1.0 Received: by 10.223.132.207 with SMTP id c15mr8933089fat.73.1309185654249; Mon, 27 Jun 2011 07:40:54 -0700 (PDT) Reply-To: till.varoquaux@gmail.com Sender: till.varoquaux@gmail.com Received: by 10.223.95.199 with HTTP; Mon, 27 Jun 2011 07:40:54 -0700 (PDT) In-Reply-To: <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> <4AEC4555-7685-4156-AEAE-062B64803556@inria.fr> Date: Mon, 27 Jun 2011 10:40:54 -0400 X-Google-Sender-Auth: oYQDKG8tgfYxDFa17Nh6lHWGQ28 Message-ID: From: Till Varoquaux To: xclerc Cc: caml users , Serge Ziryukin , Damien Doligez , =?UTF-8?Q?St=C3=A9phane_Glondu?= Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p5REex8R001090 X-Validation-by: till@janestreet.com Subject: Re: [Caml-list] OCaml 3.12.1 compatibility report On Mon, Jun 27, 2011 at 8:49 AM, xclerc wrote: > > 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 > > > Thank you for every one who looked into it. We (Janestreet) are not using 3.12.1 yet. We'll try to have a test setup ASAP and issue a bug-fix release. Xavier: your work will be very helpful in squashing that bug; thank you very much. Till > -- > Caml-list mailing list.  Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > >