[m-rev.] Bug in API documentation
Volker Wysk
post at volker-wysk.de
Mon Nov 10 18:06:51 AEDT 2025
Hi.
In the documentation of the multi_map module is this:
% If the multi_map has an entry for the given key,
% succeed once for each of the corresponding values.
% Otherwise, throw an exception.
%
:- func lookup(multi_map(K, V), K) = list(V).
:- pred lookup(multi_map(K, V)::in, K::in, list(V)::out) is det.
The comment doesn't match the declaration.
Volker
More information about the reviews
mailing list