From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p64BjYMZ019499
	for <caml-list@sympa-roc.inria.fr>; Mon, 4 Jul 2011 13:45:34 +0200
X-IronPort-AV: E=Sophos;i="4.65,471,1304287200"; 
   d="scan'208";a="97923216"
Received: from mp-57040.rocqadm.inria.fr ([128.93.57.40])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 04 Jul 2011 13:45:29 +0200
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=iso-8859-1
From: xclerc <xavier.clerc@inria.fr>
In-Reply-To: <BANLkTin5bp16Q3TAQ=1oqgN6oAJKPLmvAA@mail.gmail.com>
Date: Mon, 4 Jul 2011 13:45:27 +0200
Cc: xclerc Clerc <xavier.clerc@inria.fr>
Message-Id: <54FFD4FF-FC7E-4088-BF00-A688AF036E45@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> <BANLkTin7Kk7ASVcMnCt4zOG7UfOPqAH=Ug@mail.gmail.com> <BANLkTinW-2704bW+Znfob59e3344k2UBCg@mail.gmail.com> <02C8A868-5575-4181-9FDC-29F1CC2F6822@inria.fr> <BANLkTin5bp16Q3TAQ=1oqgN6oAJKPLmvAA@mail.gmail.com>
To: Markus Mottl <markus.mottl@gmail.com>,
        Damien Doligez <damien.doligez@inria.fr>,
        caml users <caml-list@inria.fr>
X-Mailer: Apple Mail (2.1084)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p64BjYMZ019499
Subject: Re: [Caml-list] OCaml 3.12.1 compatibility report


Le 30 juin 2011 à 23:37, Markus Mottl a écrit :

> I have uploaded a new version of bin-prot to my website, which should
> fix the problem.  I haven't actually tested it with OCaml 3.12.1, but
> am quite confident it will work.  Please let me know if the discussed
> problem persists.  Note that Jane Street will still have to update
> their version of bin-prot.

Just applied the patch from your Mercurial repository (*) to the Jane Street
distribution (which is quite different in terms of packaging), and can confirm
that all the tests now pass under 3.12.1.

Thanks for your quick update.


Regards,

Xavier Clerc


(*) files "read_ml.ml", "read_stubs.c", and "unsafe_read_c.ml"