Re: [m-users.] Unclear documentation for multi_map

Julien Fischer <[email protected]> Fri, 5 Apr 2024 11:37:51 +1100 (AEDT)
Newsgroups gmane.comp.lang.mercury.general
Message-ID <[email protected]>
Hi Volker,

On Thu, 4 Apr 2024, Volker Wysk wrote:

> The documentation of the multi_map module doesn't say if a value can occur
> more than once for a given key.

True, it doesn't explicitly state it, although the fact that duplicate
values are allowed for a given key is implicit in the fact that each key
has a list of values associated with and lists can contain duplicate
values.  Still, it won't hurt to mention that directly.

Incidentally, if you're using multi_map, you may want have a look at
using one_or_more_map instead.

Julien.
_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users