[m-rev.] New library module: default_map.m

[Fergus Henderson]

On 12-Jul-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> Estimated hours taken: 0.5
> Branches: main
> 
> Add "defaulty" versions of lookup to map.m and multi_map.m.
> 
> library/map.m:
> 	Added func default_lookup/3.
> 
> library/multi_map.m:
> 	Added pred default_lookup/3.
> 
> NEWS:
> 	Noted new additions.

That looks good. 

I'd prefer a different argument order for map__default_lookup,
in particular default_lookup(Map, Key, Default) rather than
default_lookup(Default, Map, Key).  Obviously you don't.
It's not a particularly important issue.
I suggest you get a third opinion and go with that.
(Opinions, anyone?)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------