[Hs-Generics] patch applied (generics): Reduce tests local redefinitions better.

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Thu May 31 12:20:12 EDT 2007


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


More information about the Generics mailing list