Left-bias and non-structural equality.
maeder at tzi.de
Wed Jan 4 17:21:42 EST 2006
Adrian Hey wrote:
> On Wednesday 04 Jan 2006 3:36 pm, Jean-Philippe Bernardy wrote:
>> Agreed. Still, I have fixed the Current Data.Map and Data.Set so they
>> match what the documentation says.
> Yes, though I wonder how many people actually rely on this being correct?
> Not many I suspect, since the implementations themselves were incorrect
> in several cases :-)
Fortunately not many people relied on biasing, but a few noticed a
"wrong" bias. So fixing this is an improvement! I think, performance is
> I still think specifying this at all was a mistake and we should
> deprecate all these functions. Unfortunately they use a lot of good
> names, so maybe the entire API should be deprecated and put in
> separate module (Data.OldSet or something).
I can't follow you here.
More information about the Libraries