[m-rev.] diff/for review: fix some documentation in library/multi_map
Julien Fischer
juliensf at cs.mu.OZ.AU
Tue Jan 25 17:48:46 AEDT 2005
Estimated hours taken: 0.2
Branches: main
Fix some documentation in the multi_map module.
library/multi_map.m:
Fix the documentation for multi_map.merge which was incomplete.
s/implemention/implementation.
Julien.
Workspace:/home/earth/juliensf/ws53
Index: library/multi_map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/multi_map.m,v
retrieving revision 1.14
diff -u -r1.14 multi_map.m
--- library/multi_map.m 24 Jan 2005 23:16:38 -0000 1.14
+++ library/multi_map.m 25 Jan 2005 06:45:54 -0000
@@ -201,8 +201,13 @@
:- pred multi_map__from_corresponding_list_lists(list(K)::in, list(list(V))::in,
multi_map(K, V)::out) is det.
- % For multi_map__merge(MultiMapA, MultiMapB, MultiMap).
- %
+ % multi_map__merge(MultiMapA, MultiMapB, MultiMap).
+ % Merge `MultiMapA' and `MultiMapB' so that if a key occurs in
+ % both `MultiMapA' and `MultiMapB' then the values corresponding
+ % to that key in `MultiMap' will be the concatenation of
+ % the values corresponding to that key from `MultiMapA' and
+ % `MultiMapB'.
+ %
:- func multi_map__merge(multi_map(K, V), multi_map(K, V))
= multi_map(K, V).
:- pred multi_map__merge(multi_map(K, V)::in, multi_map(K, V)::in,
@@ -224,7 +229,7 @@
list(V)::out) is det.
% Declaratively, a NOP.
- % Operationally, a suggestion that the implemention
+ % Operationally, a suggestion that the implementation
% optimize the representation of the multi_map in the expectation
% of a number of lookups but few or no modifications.
%
--------------------------------------------------------------------------
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