>>La solution serait plutot de fournir un warning lorsque l'on capture toutes
>>les exception, car cela est un bug dans 99% des cas (on ne veut pas attraper
>>Catch_break ou Out_of_memory en general).

But that doesn't work if I have 10 different exceptions in my program
- I am unwilling to write 10-way branches, as are most programmers.

Exceptions in ML are a programming mechanism.  They are not used
anymore for exceptional conditions.  We need a new mechanism for that.

--chet--