tiny addition to list.m

Thomas Charles CONWAY conway at cs.mu.oz.au
Wed Sep 3 09:06:39 AEST 1997



library/list.m:
	add a mode to list__foldl2 that allows you to use `random__supply's
	as accumulators.


cvs diff: Diffing library
Index: library/list.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/list.m,v
retrieving revision 1.77
diff -u -r1.77 list.m
--- list.m	1997/08/22 02:29:01	1.77
+++ list.m	1997/09/02 05:50:57
@@ -356,6 +356,8 @@
 :- pred list__foldl2(pred(X, Y, Y, Z, Z), list(X), Y, Y, Z, Z).
 :- mode list__foldl2(pred(in, in, out, in, out) is det,
 		in, in, out, in, out) is det.
+:- mode list__foldl2(pred(in, in, out, mdi, muo) is det,
+		in, in, out, mdi, muo) is det.
 :- mode list__foldl2(pred(in, in, out, di, uo) is det,
 		in, in, out, di, uo) is det.
 :- mode list__foldl2(pred(in, di, uo, di, uo) is det,

-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.



More information about the developers mailing list