[m-rev.] for review: make the I/O globals field non-unique

[Peter Wang]

On 2007-02-09, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> Make the globals field in the I/O state non-unique.  There is an obvious
...
> Index: NEWS
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
> retrieving revision 1.442
> diff -u -r1.442 NEWS
> --- NEWS	5 Feb 2007 03:12:50 -0000	1.442
> +++ NEWS	9 Feb 2007 06:26:09 -0000
> @@ -19,6 +19,12 @@
> 
>   Changes to the Mercury standard library:
> 
> +* The globals field in the I/O state is no longer unique.  The modes of
> +  the access predicates, io.set_globals/3, io.get_global have been changed
> +  accordingly.  We have also added a new predicate, io.update_globals/3
> +  that allows for atomic updates of the globals field in grades that
> +  support concurrent execution.
> +

io.update_globals is already mentioned later in the NEWS file.
The rest looks fine.

Peter

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