From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA29676; Mon, 17 Jun 2002 14:31:55 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA29639 for ; Mon, 17 Jun 2002 14:31:54 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g5HCVqb21003; Mon, 17 Jun 2002 14:31:52 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA29751; Mon, 17 Jun 2002 14:31:52 +0200 (MET DST) Date: Mon, 17 Jun 2002 14:31:52 +0200 From: Xavier Leroy To: John Carr Cc: caml-list@inria.fr Subject: Re: [Caml-list] Catching exceptions into strings Message-ID: <20020617143152.A29486@pauillac.inria.fr> References: <20020611173726.A14277@pauillac.inria.fr> <200206142123.RAA10195@psi-phi.mit.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <200206142123.RAA10195@psi-phi.mit.edu>; from jfc@MIT.EDU on Fri, Jun 14, 2002 at 05:23:36PM -0400 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I don't see the problem with translating SIGFPE into an exception. > The same technique is used for bounds checking. On SPARC/Solaris > SIGILL becomes an array bounds error. Correct; same thing for the PowerPC. However, this is implemented correctly for 5 Unix variants out of 7 supported for these processors (I haven't figured out how to do it for SPARC/Linux and SPARC/BSD), and the implementation is further simplified by the assumption that C code doesn't contain "trap" instructions. For division by zero, you need to distinguish between SIGFPE generated inside or outside Caml code, and get the thing working for about 20 different Unix variants. Go ahead. - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners