Re: [m-users.] Unclear documentation for multi_map
Julien Fischer <[email protected]> Fri, 5 Apr 2024 20:14:35 +1100 (AEDT)
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
On Fri, 5 Apr 2024, Volker Wysk wrote: > 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? Done. Julien. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users