[m-dev.] checked exceptions.

[Michael Day]

Hi Paul,

> How do people feel about checked exceptions?

Vehemently opposed :)

In my opinion the use of discriminated union types for return values is 
one of the strong points of Mercury programming, and checked exceptions 
would undermine that.

Since it would be a new complex addition to the type system, it needs a 
very strong motivation to justify adding it.

What is the reason for considering this feature?

Cheers,

Michael