Proposal: Extensible exceptions

Yitzchak Gale gale at
Mon Jul 7 08:41:15 EDT 2008

Henning Thielemann wrote:
>>  In Modula-3 you have to add the exceptions that can be raised to a
>> PROCEDURE header. Java has adopted this mechanism.

Johan Tibell wrote:
> Many people argue that this was a mistake

Whether you like it or not, we have this already for pure
exceptions. The type system requires it for Either
and ErrorT.


More information about the Libraries mailing list