[m-rev.] for review: list_util and map_util

[Ralph Becket]

I use list.'..' often enough to feel it belongs in list.m

Couldn't the same effect as this proposed change be achieved by
reordering the interface sections of list.m and map.m and adding a
big banner comment above the sections for the predicates you propose
moving, saying something to the effect that one should only bother
exploring past this point if one hasn't yet seen the right tool for
the job in mind?

I have no great problem with adding list_util.m and map_util.m, but I'd
like to hear a more detailed argument in favour of adding them.

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