[m-dev.] for review: added two utility functions to list.m

Ralph Becket rbeck at microsoft.com
Thu Mar 1 23:27:54 AEDT 2001


> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> >
> > How about `list__map_corresponding'?
> 
> That's better.
> 
> Another alternative would be `list__det_map2', since this is just a
> deterministic function variant of the existing list__map2 predicate.

Yes - I'll do that instead.

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



More information about the developers mailing list