On 24/02/2011 03:28, Mitar wrote:

Hi!

On Thu, Feb 24, 2011 at 1:15 AM, Henning Thielemann wrote:

...

'throw' is for exception handling, 'assert' is for debugging. What do you intend to use 'assert' for? 'assert' is not a combination of 'if' and 'throw'. It can be disabled by a GHC flag, if you think you do not need debugging anymore.

Exactly, I need it for debugging. But I would like to have ordering assured when debugging.

I think evaluate (assert ...) is guaranteed to work. Cheers, Simon

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

Hi! On Tue, Mar 29, 2011 at 10:35 AM, Simon Marlow wrote:

Use Template Haskell, or a CPP macro?

Please help. I tried with macro but it is ugly as it requires non-haskell syntax of calling functions. Mitar