From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id DDAFFBC37 for ; Thu, 18 Jun 2009 15:17:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsgCAGfbOUqGnQCBkWdsb2JhbACYYwEBAQEJCwoHEwO3doQIBQ X-IronPort-AV: E=Sophos;i="4.42,245,1243807200"; d="scan'208";a="29763775" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jun 2009 15:17:15 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id n5IDHE6s049544 ; Thu, 18 Jun 2009 15:17:14 +0200 (CEST) X-Ids:166 Received: from [134.157.168.28] (nickel.pps.jussieu.fr [134.157.168.28]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id n5IDHCLI020306 ; Thu, 18 Jun 2009 15:17:13 +0200 Message-ID: <4A3A3E58.1040300@glondu.net> Date: Thu, 18 Jun 2009 15:17:12 +0200 From: =?ISO-8859-1?Q?St=E9phane_Glondu?= User-Agent: Mozilla-Thunderbird 2.0.0.19 (X11/20090103) MIME-Version: 1.0 To: Romain Beauxis Cc: caml-list@inria.fr Subject: Re: [Caml-list] Uncaught Unix_error. References: <200906181416.39314.toots@rastageeks.org> In-Reply-To: <200906181416.39314.toots@rastageeks.org> X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Virus-Scanned: ClamAV 0.94.2/9481/Thu Jun 18 12:57:21 2009 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail.jussieu.fr with ID 4A3A3E5A.004 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4A3A3E5A.004/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 4A3A3E5A.004 on shiva.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.022 -> S=0.022 X-j-chkmail-Status: Ham X-Spam: no; 0.00; uncaught:01 bug:01 dynlink:01 cheers:01 steph:98 threads:01 unix:01 unix:01 exception:01 caml-list:01 exceptions:01 modules:02 module:03 module:03 compiled:04 Romain Beauxis a écrit : > We have had a strange bug report on our code. Somehow, an Unix.Unix_error > exception was not caught while it ought to be. See: > http://savonet.rastageeks.org/ticket/269 > [...] > We believe that the issue is raised because the module that uses Unix.read is > compiled with one of unix or threads and the application using that module > with the other one. Such errors can also happen if you link the (same) Unix module twice: the exceptions raised by the first instance are not catchable by anything linked after the second instance. This can happen quite easily, especially if you use Dynlink. In general, having two modules with the same name in one application is a bad idea. Cheers, -- Stéphane