1 Jan
2006
1 Jan
'06
3:28 p.m.
Yes, union suffers from the same problem; both in Set and Map as well. The testing code can now detect problems of left-biasing in presence of non-structural equality. (That's what I wanted to implement before applying the fix). On 12/31/05, Adrian Hey <ahey@iee.org> wrote:
On Friday 30 Dec 2005 10:33 am, Christian Maeder wrote:
P.S. left-biasing for Set.intersection still needs to be checked in (I've sent a patch some time ago)
Perhaps I'm missing something, but union seems to have the same problem. Maybe someone should review all this code to see if implementations are consistent with the Haddock (preferably someone who understands more about how it works than I do :-).
Regards -- Adrian Hey