Simon Marlow simonmar at microsoft.com
Tue Apr 11 08:57:42 EDT 2006

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.


More information about the Haskell-prime mailing list