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