trivial diff: list__map(pred(in, in) is semidet, in, in)

Fergus Henderson fjh at
Thu Apr 9 00:44:59 AEST 1998

No objections, I take it?
I don't think this one is even worth mentioning in the NEWS file.

Estimated hours taken: 0.1

	Add a `pred(in, in) is semidet, in, in' mode for list__map.

Index: list.m
RCS file: /home/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.81
diff -u -u -r1.81 list.m
--- list.m	1998/01/23 12:33:22	1.81
+++ list.m	1998/04/08 14:39:09
@@ -337,6 +337,7 @@
 :- mode list__map(pred(in, out) is semidet, in, out) is semidet.
 :- mode list__map(pred(in, out) is multi, in, out) is multi.
 :- mode list__map(pred(in, out) is nondet, in, out) is nondet.
+:- mode list__map(pred(in, in) is semidet, in, in) is semidet.
 	% list__foldl(Pred, List, Start, End) calls Pred with each
 	% element of List (working left-to-right) and an accumulator

Fergus Henderson <fjh at>  |  "I have always known that the pursuit
WWW: <>  |  of excellence is a lethal habit"
PGP: finger fjh at        |     -- the last words of T. S. Garp.

More information about the developers mailing list