Thu May 31 08:28:05 PDT 2007 Alexey Rodriguez
* 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
