> 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