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 q3D9rWfH002600 for ; Fri, 13 Apr 2012 11:53:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlEFAC32h0/VuiYS/2dsb2JhbAArGoURVbIOgQeCCQEBBAEMF1YFCwkCGgImAgJXBhOICQkHKaZJkm6BL48QgRgElWuBEohFhmCCaQ X-IronPort-AV: E=Sophos;i="4.75,415,1330902000"; d="scan'208";a="153903609" Received: from solaria.dimino.org ([213.186.38.18]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 13 Apr 2012 11:53:09 +0200 Received: from caladan (caladan.dim [10.200.42.14]) by solaria.dimino.org (Postfix) with ESMTP id 4B45E80081; Fri, 13 Apr 2012 11:53:07 +0200 (CEST) Received: from caladan.esterel-technologies.com (localhost [127.0.0.1]) by caladan (Postfix) with ESMTP id 1EA58FF846; Fri, 13 Apr 2012 11:52:36 +0200 (CEST) Date: Fri, 13 Apr 2012 11:52:35 +0200 From: =?UTF-8?B?SsOpcsOpbWll?= Dimino To: Matthias Puech Cc: caml-list@inria.fr Message-ID: <20120413115235.1a5ee46e@caladan.esterel-technologies.com> In-Reply-To: <4F87F535.8030705@cs.unibo.it> References: <4F87EDFB.6090409@cs.unibo.it> <4F87F535.8030705@cs.unibo.it> X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3D9rWfH002600 Subject: Re: [Caml-list] Printexc.register_printer without catch Le Fri, 13 Apr 2012 11:43:17 +0200, Matthias Puech a écrit : > It seems there is a very ad-hoc, type-unaware exception handler in > compiled code (byterun/printexc.c:caml_format_exception?) that can't > be changed and I was hoping Printexc would do that for me. It seems > not; so, no other way to change the global catcher? There is a report about this: http://caml.inria.fr/mantis/view.php?id=5040 Cheers, -- Jérémie