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 PAA10986; Tue, 11 Jun 2002 15:28:10 +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 PAA11026 for ; Tue, 11 Jun 2002 15:28:09 +0200 (MET DST) Received: from TheWorld.com (pcls3.std.com [199.172.62.105]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g5BDS8H11772 for ; Tue, 11 Jun 2002 15:28:08 +0200 (MET DST) Received: from watergate.world.std.com (pool-141-154-28-212.bos.east.verizon.net [141.154.28.212]) by TheWorld.com (8.9.3/8.9.3) with ESMTP id JAA08931 for ; Tue, 11 Jun 2002 09:28:06 -0400 Message-Id: <5.1.0.14.0.20020611092123.027cbb48@pop.theWorld.com> X-Sender: chase@pop.theWorld.com X-Mailer: QUALCOMM Windows Eudora Version 5.1 Date: Tue, 11 Jun 2002 09:28:06 -0400 To: caml-list@inria.fr From: David Chase Subject: Re: [Caml-list] Catching exceptions into strings In-Reply-To: <20020611092333.GJ7647@adelscott.lanetcie.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk At 11:23 AM 6/11/2002 +0200, Guillaume Valadon wrote: >The excpetion is only raised when you use bytecode and not with native-code. >See http://caml.inria.fr/ocaml/htmlman/manual025.html, section 11.4 That's really rather surprising. Given that the manual recommends that users explicitly check for zero to avoid this exception, why isn't the compiler simply inserting the check for them where it happens to be necessary, and optimizing it out when it is not? Turning off the check can be another one of those no-belts-no-bags-no-bumpers compiler flags that some people are so fond of. David Chase ------------------- 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