Left-bias and non-structural equality.

Christian Maeder 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 
hardly affected.

 > 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.
Cheers Christian

More information about the Libraries mailing list