[m-dev.] Suggested small change to map.m

[Tyson Dowd]

On 12-Sep-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> Func map__keys just calls tree234__keys which returns the key list in
> sorted order and as such is a very useful feature.  However, this isn't 
> in the documentation.  I propose that the documentation be changed so 
> that users can rely upon this property.  Either that or add 
> map__sorted_keys.

I think the second option is best.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------