12 Mar
2021
12 Mar
'21
4:54 p.m.
Stanislaw Klekot wrote:
On Fri, Mar 12, 2021 at 10:40:03AM +0100, Stephen R. van den Berg wrote:
This seems like a bug:
Note that the data type's name is *multi*set, so a *set* with *duplicates*. This behaviour is exactly what you should to expect after hearing the name.
Ah well, maybe I never thought twice about it. I always assumed it does not allow duplicate members (just like the keyspace of a mapping).
Nevermind.
--
Stephen.