[m-rev.] for review: add funtions for singleton maps, bimaps, etc

[Julien Fischer]

On Wed, 4 May 2011, Julien Fischer wrote:

> Branches: main
>
> Add functions for creating singleton maps (of various sorts) to the standard
> library.  The rationale for this to replace the following sequence of code,
> which occurs a lot throughout the Mercury system:
>
>    map.init(Map0),
>    map.det_insert(SomeKey, SomeValue, Map0, Map)
>
> library/bimap.m:
> library/injection.m:
> library/map.m:
> library/rbtree.m:
> library/tree234.m:
> 	Add the new function singleton/2 that takes single key-value
> 	pair as arguments and returns a new map.
>
> compiler/disj_gen.m:
> 	Avoid ambiguity in a spot.
>
> NEWS:
> 	Announce the additions.

Committed.

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