[m-rev.] For review: Change list.perm(in, out) from nondet to multi.

Ian MacLarty maclarty at cs.mu.OZ.AU
Thu Dec 9 18:47:26 AEDT 2004


For review by anyone.

Estimated hours taken: 0.1
Branches: main

Change determinism declaration of list.perm(in, out) from nondet to multi.

compiler/assertion.m
	A predicate that used list.perm was declared nondet when it should
	have been multi.

library/list.m
	Change determinism declaration of list.perm(in, out) from nondet to
	multi.

Index: compiler/assertion.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/assertion.m,v
retrieving revision 1.29
diff -u -r1.29 assertion.m
--- compiler/assertion.m	7 Jun 2004 09:06:27 -0000	1.29
+++ compiler/assertion.m	9 Dec 2004 06:14:53 -0000
@@ -274,7 +274,7 @@
 	% ordering.
 
 :- pred reorder(hlds_goals::in, hlds_goals::in,
-	hlds_goals::out, hlds_goals::out) is nondet.
+	hlds_goals::out, hlds_goals::out) is multi.
 
 reorder(PCalls, QCalls, LHSCalls, RHSCalls) :-
 	list__perm(PCalls, LHSCalls),
Index: library/list.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.126
diff -u -r1.126 list.m
--- library/list.m	5 Dec 2004 16:08:31 -0000	1.126
+++ library/list.m	9 Dec 2004 03:31:39 -0000
@@ -299,7 +299,7 @@
 	% list__perm(List0, List):
 	%	True iff `List' is a permutation of `List0'.
 	%
-:- pred	list__perm(list(T)::in, list(T)::out) is nondet.
+:- pred	list__perm(list(T)::in, list(T)::out) is multi.
 
 	% list__nth_member_search(List, Elem, Position):
 	%	Elem is the Position'th member of List.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list