[mercury-users] Additions to list.m

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Aug 8 15:28:11 AEST 2006

On Mon, 7 Aug 2006, Nicholas Nethercote wrote:

> On Mon, 7 Aug 2006, Julien Fischer wrote:
>> On Mon, 7 Aug 2006, Nicholas Nethercote wrote:
>>> list.m has lots of variants and combinations of map, fold and filter.  I'm 
>>> guessing these are added on demand.
>> That's what usually happens.
>>> If so, I'd like to request that
>>> map_corresponding3_foldl and map2_foldl3 be added.

list.map_corresponding_foldl, list.map_corresponding3_foldl and
list.map2_foldl3 have been added to thes standard library.  It will take
a day or two for them to end up in the rotds (or you can build Mercury
from CVS and have them now.)

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list