Exceptions

[Simon Marlow]

On 02 September 2006 06:29, Ashley Yakeley wrote:

> I'd also like to query O'Haskell here. Simon writes in the paper:
> 
>> O'Haskell extends Haskell with object-oriented subtyping.
>> As such, it would be entirely possible to implement extensible
>> exceptions using inheritance in O'Haskell.
> 
> I believe O'Haskell (like OOHaskell) doesn't provide the required
> dynamic downcasting operation either. AFAICT the extensions are
> essentially syntactic sugar: the subtyping is strictly static.

Good point; thanks for spotting that.

Simon