[m-rev.] State variable syntax transformation

[Michael Day]

> The determinism of the goal `if we_have_a_problem(X) then throw(...)
> else true' is `det', not `erroneous'.

Oh, I assumed det and erroneous would interact in the same way as det and
failure, but I guess that would require propagating the fact that
something can throw an exception all the way back to main. Oops :)

So... don't use --no-fully-strict when you're debugging? Or always make
sure you have a convenient io state for those debug messages?

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------