On Tue, Sep 9, 2014 at 8:38 AM, Henk-Jan van Tuyl
It would be useful if the compiler gave a warning for each type of exception, for each expression, that is not handled by the program.
A problem with this idea is that some exceptions can be potentially thrown by any expression at any time, based solely on things external to the program, compiler or runtime. Only software exceptions can reliably be handled this way --- and those arguably should not be implemented as exceptions, but as e.g. Maybe/Either/etc. (Floating point exceptions are, as usual for IEEE floating point, a weird corner case.) -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net