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

[Al Falloon]

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?