[Hs-Generics] patch applied (generics): Universe extension tests and separate compilation test

[Alexey Rodriguez Yakushev]

Wed Feb 13 04:54:18 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * Universe extension tests and separate compilation test
  
  * Universe extension to datatype T is called TestGEqT.
  * The separate compilation test is called TestGEq.
    It is tested on the BinTree datatype, so it is assumed
    to be supported (i.e. universe extension to it is possible)
    by all approches.
  * Maybe it would be good to add a universe extension test for
    BinTree anyway. At the moment it is missing.
  

     ./comparison/TestGEq.exp -> ./comparison/TestGEqCompany.exp
     ./comparison/TestGEq.lhs -> ./comparison/TestGEqCompany.lhs
     ./comparison/TestGEqBTree.exp -> ./comparison/TestGEq.exp
     ./comparison/TestGEqBTree.lhs -> ./comparison/TestGEq.lhs
    M ./comparison/TestGEq.lhs -1 +2
    M ./comparison/TestGEqCompany.lhs -2 +1
    M ./comparison/TestGEqGRose.lhs -1 +4
    M ./comparison/TestGEqNGRose.lhs +4
    M ./comparison/test.hs -5 +5