Wed Feb 13 04:54:18 PST 2008 Alexey Rodriguez <alexey@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