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

[Ralph Becket]

Jonathan Morgan, Friday,  2 March 2007:
> For review by Ralph.
> 
> Estimated hours taken: 2
> Branches: main
> 
> Enhance the state variable notation to recognise !X ^ field_list := Term as
> !:X = !.X ^ field_list := Term.
> 
> compiler/add_clause.m:
>    Recognise this new construct, and transform it.
> 
> doc/reference_manual.texi:
>    Document the change.

That looks good.  Can you add a test case, please?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------