[m-dev.] diff: remove implied mode of map__search

[Zoltan Somogyi]

library/map.m:
	Remove the implied mode of map__search. It is not necessary, since you
	get code of equivalent efficiency without it, and its removal allows
	map__search to be passed to higher order predicates without explicit
	lambdas to resolve the ambiguity about mode numbers.

Zoltan.

cvs diff: Diffing .
Index: map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/map.m,v
retrieving revision 1.74
diff -u -b -r1.74 map.m
--- map.m	2000/07/19 03:42:40	1.74
+++ map.m	2000/08/03 03:27:30
@@ -47,7 +47,6 @@
 
 	% Search map for key.
 :- pred map__search(map(K,V), K, V).
-:- mode map__search(in, in, in) is semidet.	% implied
 :- mode map__search(in, in, out) is semidet.
 
 	% Search map for key, but abort if search fails.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------