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