From: Eddie R. <er...@bm...> - 2008-07-06 11:44:19
|
On Sun 06/07/08 5:58 AM , Albert Graef Dr....@t-... sent: > Jiri Spitz wrote: > > I need it because the current definition of dict > equality test > semantically compare their member lists. However, I > made this stuff > local to the function so that nobody should be > harmed. > Ok, I see. I moved => over to the prelude now, and defined equality on > it, too, so you can remove those special equality rules in dict.pure. > > Albert That should help me too ;) e.r. |