Assertion in IO monad

[Simon Marlow]

On 24/02/2011 03:28, Mitar wrote:
> Hi!
>
> On Thu, Feb 24, 2011 at 1:15 AM, Henning Thielemann
> <lemming at henning-thielemann.de>  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