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. Regards, Yitz