Dear all, I keep getting problems with expections. In the example

catchAllIO ( action ) $ \ any -> return "foo"

is it guaranteed that *no* exception that is raised in `action' propagates to the outside?

Yes.

(This is with ghc-4.08. Should I upgrade? Well, I will upgrade sometime anyway, but would it help with respect to this problem?)

In GHC 5.00, 'catchAllIO' is now called 'Exception.catch', and the IOError and Exception types are now isomorphic. Various other functions in the Exception library have had names changes too. Cheers, Simon