Hi! On Fri, Mar 25, 2011 at 5:43 PM, Simon Marlow <marlowsd at gmail.com> 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