English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Catching exceptions into strings
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-06-11 (13:28)
From: David Chase <chase@w...>
Subject: Re: [Caml-list] Catching exceptions into strings
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