[Hs-Generics] patch applied (generics): Universe extension tests
and separate compilation test
Alexey Rodriguez Yakushev
alexey at cs.uu.nl
Wed Feb 13 08:09:33 EST 2008
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
More information about the Generics