Tue Jan 8 09:40:04 PST 2008 Alexey Rodriguez <alexey@cs.uu.nl> * Added TestGEqBTree Equality tests two things: * Separate compilation. * Multiple arguments (equality has two). However the test is done on Company which fails for Polyp. That is why we do the test here on BinTree. See it as a form of a lowest common denominator. M ./comparison/EMGM/GEq.lhs -1 +6 M ./comparison/LIGD/GEq.lhs -1 +6 M ./comparison/PolyP/GEq.lhs +6 M ./comparison/RepLib/GEq.lhs +8 M ./comparison/SYB1_2/GEq.lhs -1 +5 M ./comparison/Spine/GEq.lhs -1 +6 M ./comparison/TestGEq.lhs +5 A ./comparison/TestGEqBTree.exp A ./comparison/TestGEqBTree.lhs M ./comparison/test.hs -1 +1