[m-rev.] for review: state vars syntax sugar

[Peter Schachte]

Peter Schachte mis-wrote:

> And the final inst of the second argument

Oops, I meant the *first* argument.

> should either be the same as the
> initial, or possibly dead.

So for an state variable argument pair, the insts need to be

	X>>X, free>>X  or  X>>dead, free>>X

and let's face it, X is almost always ground.

-- 
Peter Schachte              I worry that 10 or 15 years from now, [my child]
schachte at cs.mu.OZ.AU        will come to me and say 'Daddy, where were you
www.cs.mu.oz.au/~schachte/  when they took freedom of the press away from
Phone: +61 3 8344 1338      the Internet?' -- Mike Godwin
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------