[m-rev.] diff: add semidet mode for set__fold

[David Overton]

Estimated hours taken: 0.1
Branches: main

library/set.m:
	Add a semidet mode for set__fold.

Index: set.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/set.m,v
retrieving revision 1.59
diff -u -r1.59 set.m
--- set.m	19 Feb 2002 09:25:27 -0000	1.59
+++ set.m	4 Mar 2002 23:23:36 -0000
@@ -255,6 +255,7 @@
 :- pred set__fold(pred(T1, T2, T2), set(T1), T2, T2).
 :- mode set__fold(pred(in, in, out) is det, in, in, out) is det.
 :- mode set__fold(pred(in, di, uo) is det, in, di, uo) is det.
+:- mode set__fold(pred(in, in, out) is semidet, in, in, out) is semidet.
 
 :- func set__fold(func(T1, T2) = T2, set(T1), T2) = T2.
 
-- 
David Overton      Computer Science and Software Engineering
PhD Student        The University of Melbourne   +61 3 8344 9159
Research Fellow    Monash University (Clayton)   +61 3 9905 5779
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------