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

[Peter Ross]

On 5/30/07, Jonathan Morgan <jonmmorgan at gmail.com> wrote:
> This change was posted a few months ago (see
> http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-reviews/mercury-reviews.200703/0015.html)
> and never committed.  The changes to the compiler and reference manual
> were reviewed, but the test case and NEWS file weren't.
>
> Jon
>
> ========================================================
> Estimated hours taken: 2.5
> Branches: main
>
> Enhance the state variable notation to recognise !X ^ field_list :=
> Term as a synonym for
> !:X = !.X ^ field_list := Term.
>

I would add a test case for
    !X ^ index(3) := 5
and make sure that your code handles this.

If it does, then it looks fine for me.

Pete
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------