[m-rev.] diff: add more modes for list.map_foldl/5

[Julien Fischer]

(The following modes were requested by Sebastian).

Estimated hours taken: 0.1
Branches: main, release

library/list.m:
	Add modes of list.map_foldl/5 that have a mostly-unique accumulator.

Julien.

Index: library/list.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.149
diff -u -r1.149 list.m
--- library/list.m	19 Apr 2006 05:17:53 -0000	1.149
+++ library/list.m	15 May 2006 08:02:56 -0000
@@ -813,10 +813,14 @@
     is det.
 :- mode list.map_foldl(pred(in, out, in, out) is det, in, out, in, out)
     is det.
+:- mode list.map_foldl(pred(in, out, mdi, muo) is det, in, out, mdi, muo)
+    is det.
 :- mode list.map_foldl(pred(in, out, di, uo) is cc_multi, in, out, di, uo)
     is cc_multi.
 :- mode list.map_foldl(pred(in, out, in, out) is cc_multi, in, out, in, out)
     is cc_multi.
+:- mode list.map_foldl(pred(in, out, mdi, muo) is cc_multi, in, out, mdi, muo)
+    is cc_multi.
 :- mode list.map_foldl(pred(in, out, in, out) is semidet, in, out, in, out)
     is semidet.
 :- mode list.map_foldl(pred(in, out, in, out) is nondet, in, out, in, out)

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