On Wed, 19 Nov 2003, Martin Berger wrote:

> one of the key problems with exceptions specifications is of course
> that a single change somewhere in a program may trigger heaps of
> other code becoming untypable. i can imagine that a simple compiler
> switch for turning off exception specification checking during
> development would take away much of the pain here.

The single change the programmer would have to make in this case is to add 
a new error case that is not being handled.  In which case the compiler is 
being nice and telling you all the places where you need to think about 
how to handle this new error case.

The biggest problems I see is that there are a number of places in Ocaml 
where the programmer still has to spell out the types of things- .mli 
files being the obvious example.

-- 
"Usenet is like a herd of performing elephants with diarrhea -- massive,
difficult to redirect, awe-inspiring, entertaining, and a source of
mind-boggling amounts of excrement when you least expect it."
                                - Gene Spafford 
Brian

-------------------
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