[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