Re: [m-users.] Unclear documentation for multi_map
Volker Wysk <[email protected]> Fri, 05 Apr 2024 06:45:34 +0200
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Am Freitag, dem 05.04.2024 um 11:37 +1100 schrieb Julien Fischer: > 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. It could still uphold that only one copy of each value is in each of the lists... > Still, it won't hurt to mention that directly. So would you add a sentence to the documentation of multi_map, please? > Incidentally, if you're using multi_map, you may want have a look at > using one_or_more_map instead. Thanks for the tip. Volker _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users