[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