[m-rev.] For review: New predicates in assoc_list

[Julien Fischer]

On Wed, 17 Mar 2010, Paul Bone wrote:

> Branches: main
>
> Introduce new predicates in the assoc_list standard library module.  These
> predicates complement the existing fuctions map_keys_only/3 map_values_only/3
> and map_values.
>
> library/assoc_list.m:
>     As above.
>
> NEWS:
>     Announce this change.
>
>     Rename old "since Mercury 0.13.1" section to "for Mercury 10.04 beta"
>     and introduce new "since Mercury 10.04 beta" section.

As discussed in person, I don't think there is much point in adding
these since the predicates in your other change that use them could
easily be turned into functions.

There is some disadvantage to adding them, because having both predicate
and function versions provides more scope for type ambiguities.

The diff looks fine.

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