trivial diff: list__map(pred(in, in) is semidet, in, in)
fjh at cs.mu.OZ.AU
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.
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 cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 220.127.116.11 | -- the last words of T. S. Garp.
More information about the developers