In-Reply-To: <16234.49739.381798.15267 at akasha.ijm.jussieu.fr> References: <16234.5256.398860.836871 at karryall.dnsalias.org> <20030919082312.GA32760@redhat.com> <16234.49739.381798.15267@akasha.ijm.jussieu.fr> Subject: Re: Exception handling bug in GMain.Main (was: Re: Trapping exceptions at the top level? (repost)) To: andrieu at ijm.jussieu.fr Cc: rich at annexia.org, lablgtk at kaba.or.jp Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20030922094608Y.garrigue at kurims.kyoto-u.ac.jp> Date: Mon, 22 Sep 2003 09:46:08 +0900 From: Jacques Garrigue Lines: 19 From: Olivier Andrieu > Richard Jones [Friday 19 September 2003] : > > > > On Thu, Sep 18, 2003 at 10:24:40PM +0200, Olivier Andrieu wrote: > > > | let _ = GtkSignal.user_exn_handler := my_exn_handler > > > > user_exn_handler is something you added? > > Yes, here's a patch. But maybe Jacques has a better solution than just > trapping every exception. Considering the expected semantics of GTK callbacks, I suppose this is the only reasonable thing to do. I must admit that I never really considered the problem, even while writing even subtler code for handling of return values. I will look into that and fix it. Jacques