Proposal: Extensible exceptions

[Henning Thielemann]

On Mon, 7 Jul 2008, Yitzchak Gale wrote:

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

... and I think, that's a good design.