From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3EGu3rO004131 for ; Sat, 14 Apr 2012 18:56:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkFABuriU+CiAFm/2dsb2JhbAAoGoUdVa8lgQeCCgEFDBcPAQVRCQIaAgUhAgIPAkYTCAEBiAoLKap1ik+BL4x2ggyBGASWfohEhmCCaQ X-IronPort-AV: E=Sophos;i="4.75,423,1330902000"; d="scan'208";a="140221811" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 13 Apr 2012 16:04:14 +0200 Received: from ssl.cs.unibo.it (ssl.cs.unibo.it [127.0.0.1]) (Authenticated sender: hidden) by leb.cs.unibo.it (Postfix) with ESMTPSA id 0A654236D for ; Fri, 13 Apr 2012 16:04:13 +0200 (CEST) Message-ID: <4F883262.30004@cs.unibo.it> Date: Fri, 13 Apr 2012 16:04:18 +0200 From: Matthias Puech User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20120329 Thunderbird/11.0.1 MIME-Version: 1.0 To: caml-list@inria.fr References: <4F87EDFB.6090409@cs.unibo.it> <4F87F535.8030705@cs.unibo.it> <20120413115235.1a5ee46e@caladan.esterel-technologies.com> In-Reply-To: <20120413115235.1a5ee46e@caladan.esterel-technologies.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Printexc.register_printer without catch Le 04/13/2012 11:52 AM, Jérémie Dimino a écrit : > There is a report about this: > http://caml.inria.fr/mantis/view.php?id=5040 Cheers, Of course, it's Stéphane's :) ... and with a patch! Thanks for the pointer, Cheers, -m