[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