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

[Fergus Henderson]

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

Estimated hours taken: 0.1

library/list.m:
	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 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 128.250.37.3        |     -- the last words of T. S. Garp.