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