Re: Assertion in IO monad

Hi! On Fri, Mar 25, 2011 at 5:43 PM, Simon Marlow wrote:

I think

 evaluate (assert ...)

is guaranteed to work.

I made something like: assertIO :: Bool -> IO () assertIO cond = evaluate (assert cond ()) But the problem is that exception raised have line information of this definition and not of the call itself. Mitar