Archives of the Caml mailing list > Message from David Chase

Browse thread

[Caml-list] Catching exceptions into strings

Gaurav Chanda
- Guillaume Valadon
  - David Chase
    - Xavier Leroy
- Xavier Leroy
- Michael Vanier
  - Xavier Leroy
    - Michael Vanier
      - Xavier Leroy
        
        Ken Rose

Date:	-- (:)
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