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