[m-rev.] for review: refine the mode declaration of solutions

Erwan Jahier Erwan.Jahier at irisa.fr
Wed Aug 22 22:25:43 AEST 2001


| 
| Index: std_util.m
| ===================================================================
| RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
| retrieving revision 1.235
| diff -u -d -u -r1.235 std_util.m
| --- std_util.m  2001/07/03 08:16:25     1.235
| +++ std_util.m  2001/08/22 12:06:41
| @@ -137,23 +137,24 @@
|  % is required.
 
  ...

|  :- func solutions_set(pred(T)) = set(T).
| -:- mode solutions_set(pred(out) is multi) = out is det.
| +:- mode solutions_set(pred(out) is multi) = out(non_empty_list) is det.
|  :- mode solutions_set(pred(out) is nondet) = out is det.
|  
|  :- pred unsorted_solutions(pred(T), list(T)).
| -:- mode unsorted_solutions(pred(out) is multi, out) is cc_multi.
| +:- mode unsorted_solutions(pred(out) is multi, out(non_empty_list)) 
| +        is cc_multi.

oops, non_empty_list for a set is a bit weird. Please ignore that, I will undo
the change for solution_set.

BTW, isn't that strange that it compiled ok? I know sets are represented by 
lists, but still.
-- 
R1.


--------------------------------------------------------------------------
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