[m-rev.] State variable syntax transformation

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Feb 27 14:50:59 AEDT 2002


On 26-Feb-2002, Michael Day <mikeday at bigpond.net.au> wrote:
> 
> > The determinism of the goal `if we_have_a_problem(X) then throw(...)
> > else true' is `det', not `erroneous'.
...
> 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?

You don't need an io__state; any output argument will do.

	p(Output) :-
		Output0 = ...,
		(if we_have_a_problem(X) then throw(...) else Output = Output0).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list