7 Jun
2007
7 Jun
'07
4:41 p.m.
Thu Jun 7 09:05:01 PDT 2007 Alexey Rodriguez <alexey@cs.uu.nl> * New test: can a generic function be extended in another module? The new test requires to extend generic equality in another module, take a look at TestGEqTree.lhs and GL/GEqTree.lhs for details. M ./comparison/GL/GEq.lhs -1 +1 A ./comparison/GL/GEqTree.lhs M ./comparison/GL/TreeReps.hs +2 A ./comparison/TestGEqTree.exp A ./comparison/TestGEqTree.lhs M ./comparison/TreeDatatype.hs +10 M ./comparison/test.hs -1 +2