On Monday 20 January 2003 02:14, Robert Withers wrote:
> Regarding your implication that a signature has to define
> what exceptions it can throw,

There wasn't that implication. The example is about the
introduction of new types. The old code threw one type of
exception, that its peers understood. The programmer then created
two new types. The peers don't have these two new object types.
The example is about maintaining interoperation in this scenario.

Tyler