[m-rev.] diff: fix mode errors in extras/solver_types
Julien Fischer
juliensf at cs.mu.OZ.AU
Tue Sep 13 18:35:16 AEST 2005
Estimated hours taken: 0.1
Branches: main
Fix some badly moded predicates.
extras/solver_types/library/any_map.m:
s/out/oa/ in a couple of spots.
Julien.
Index: any_map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/solver_types/library/any_map.m,v
retrieving revision 1.1
diff -u -r1.1 any_map.m
--- any_map.m 12 Sep 2005 02:17:48 -0000 1.1
+++ any_map.m 13 Sep 2005 08:33:12 -0000
@@ -198,14 +198,14 @@
:- func any_map__to_any_assoc_list(any_map(K, V)::ia) =
(any_assoc_list(K, V)::oa) is det.
:- pred any_map__to_any_assoc_list(any_map(K, V)::ia,
- any_assoc_list(K, V)::out) is det.
+ any_assoc_list(K, V)::oa) is det.
% Convert a map to an association list which is sorted on the keys.
%
:- func any_map__to_sorted_any_assoc_list(any_map(K, V)::ia)
= (any_assoc_list(K, V)::oa) is det.
:- pred any_map__to_sorted_any_assoc_list(any_map(K, V)::ia,
- any_assoc_list(K, V)::out) is det.
+ any_assoc_list(K, V)::oa) is det.
% Convert an association list to a map.
%
--------------------------------------------------------------------------
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