[Hs-Generics] patch applied (generics): RmWeights RepLib fixes

21 Feb 2008


      Sat Feb 16 09:53:52 PST 2008  patrikj@chalmers.se
  * RmWeights RepLib fixes

    M ./comparison/RepLib/RmWeights.lhs -11 +3
    M ./comparison/log.txt -1

[Hs-Generics] patch applied (generics): RmWeights RepLib fixes

Alexey Rodriguez Yakushev