Thu May 31 08:28:05 PDT 2007 Alexey Rodriguez <alexey@cs.uu.nl> * Reduce tests local redefinitions better. Previously, collect would gather all the |Int| values of a |BinTree Int|. But this could also collect |Int| values other than the Tree payload, i.e. weights, balancing info. So this test now uses a value of type |Tree a b| where the first argument is the element type and the second the weight type. The test requires that collect only gathers |a| values, excluding any content such as the weights even if |a=b| like in |Tree Int Int| LIGD, GL and GM have been updated. The rest must be done still. M ./comparison/GL/Reduce.lhs +13 A ./comparison/GL/TreeReps2.hs M ./comparison/GM/Reduce.lhs -16 +11 M ./comparison/GM/TreeReps.hs -2 +7 M ./comparison/LIGD/Reduce.lhs -18 +14 M ./comparison/LIGD/TreeReps.hs +10 M ./comparison/TestReduce.exp -1 +1 M ./comparison/TestReduce.lhs -7 +6