exceptions

John Meacham john@repetae.net
Tue, 29 Jul 2003 16:45:27 -0700


just out of curiosity, which is the proper idiom?

trace a  = r <- catch a (\e -> putStr "exceptional\n" >> throw e)
trace a  = r <- catch a (\e -> putStr "exceptional\n" >> ioError e)

I am worried that one might subtly change the semantics of an execption
depending on how it was originally thrown... but i am uncertain how.
probably some obscure case involving bottoms. But to be on the safe
side, thought I'd ask.
        John
-- 
---------------------------------------------------------------------------
John Meacham - California Institute of Technology, Alum. - john@foo.net
---------------------------------------------------------------------------