[Haskell-cafe] Re: Takusen - error handling and DBM monad

Bayley, Alistair wrote:

Al Falloon wrote:

...

what does withSession return if there is a DBException?

Well, whatever the handler returns, same as with any other exception handler. Note that this must have the same type as whatever withSession returns, and this constraint is enforced by the type of catch/catchDB:

Sorry, I wasn't clear. What does it return when there is an uncaught exception? It sounds like it raises an exception in IO. Is this correct?