[m-rev.] for review: fix behaviour of multi_map.det_update/4

[Ian MacLarty]

On Mon, Jul 11, 2011 at 02:06:10PM +1000, Julien Fischer wrote:
> 
> Branches: main, 11.07
> 
> Fix a bug reported by Tomas By on mercury-bugs: the behaviour of
> multi_map.det_update/4 did not match the documentation.
> 
> library/multi_map.m:
> 	Fix the behaviour of det_update/4.
> 
> 	Add replace/4, a semidet version of det_replace/4.
> 
> 	Reformat some documentation.
> 
> NEWS:
> 	Announce the above fix and addition.
> 
> tests/hard_coded/multi_map_test.{m,exp}:
> 	Replace the existing test for multi_maps with something a bit
> 	stronger: in particular check the semantics of update, replace,
> 	insert and set.
> 
> Julien.
> 
> Index: NEWS
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
> retrieving revision 1.587
> diff -u -r1.587 NEWS
> --- NEWS	26 Jun 2011 14:12:49 -0000	1.587
> +++ NEWS	11 Jul 2011 02:52:24 -0000
> @@ -193,4 +193,8 @@
>    additional modes for maybe.fold_maybe/4, maybe.map_fold_maybe/5,
>    and maybe.map_fold2_maybe/7.
> 
> +* The implementation of multi_map.det_update/4 has been fixed so that it
> +  conforms the documented behaviour.  The new predicate multi_map.replace/4

conforms *to* the documented behaviour

Looks fine otherwise.

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