[m-dev.] diff: add a functional version of map__init

[Peter Schachte]

> library/map.m:
> 	Add a functional version of map__init.
>  
> +:- func map__init = map(K, V).
> +

Wouldn't map__empty be a much clearer name for it?

-- 
Peter Schachte                     There's nobody getting rich writing
mailto:schachte at cs.mu.OZ.AU        software that I know of.
http://www.cs.mu.oz.au/~schachte/      -- Bill Gates, 1980 
Phone:  +61 3 8344 9166            
Fax:    +61 3 9348 1184            
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------