[m-rev.] For review: State-variable record update transformation

[Peter Schachte]

Jonathan Morgan wrote:

> Enhance the state variable notation to recognise !X ^ field_list := Term as
> !:X = !.X ^ field_list := Term.

If you can write

	!X ^ f1 ^ f2 := Expr
and
	!X ^ f3 := Expr

it seems a bit inconsistent not to be able to write

	!X := Expr

(as syntactic sugar for !:X = Expr).  Perhaps that should be added, too.

-- 
Peter Schachte              The best weapon of a dictatorship is secrecy;
schachte at cs.mu.OZ.AU        the best weapon of a democracy is openness.
www.cs.mu.oz.au/~schachte/      -- Edvard Teller
Phone: +61 3 8344 1338
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------