[Hs-Generics] patch applied (generics): Added TestGEqBTree
Alexey Rodriguez Yakushev
alexey at cs.uu.nl
Tue Jan 8 12:51:25 EST 2008
Tue Jan 8 09:40:04 PST 2008 Alexey Rodriguez <alexey at 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
More information about the Generics
mailing list