Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

[Caml-list] Catching exceptions into strings

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

Date:	-- (:)
From:	Xavier Leroy <xavier.leroy@i...>
Subject:	Re: [Caml-list] Catching exceptions into strings

> And lastly, what does it cost to do the check?  Surely, you did not
> omit the check in the name of efficiency (he says, smirking) without
> first measuring the cost?

The check is omitted in the name of (initial) simplicity of the
ocamlopt code generator, e.g. "for a start, let's map all arithmetic
operations to those of the hardware and see if that's good enough".
I'm not too concerned about the run-time penalty: integer division is
slow even on processors that have it in hardware.

- 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