On 11 April 2006 13:54, John Meacham wrote:

On Tue, Apr 11, 2006 at 01:43:18PM +0100, Simon Marlow wrote:

...

yes, when I say "one throw" I was referring to the argument type, not the return type. We should still have ioError - although it would probably be better named throwIO:

Ah, I see what you mean now.

would it be possible to use Typeable1 to just catch 'ArithException a' for any Typeable a? It seems like it should be, but I have not used Typeable1 much.

I tried it briefly and couldn't get it to work, but I'm no expert on the SYB stuff. You might need an Exception1 class to go with Typeable1, and that would be fairly ugly. Cheers, Simon