[Hs-Generics] patch applied (generics): SYB1_2 fails for CrushRight.

12 Feb 2008


      Mon Feb 11 13:01:02 PST 2008  Alexey Rodriguez 
  * SYB1_2 fails for CrushRight.

     ./comparison/SYB1_2/Reduce.lhs -> ./comparison/SYB1_2/CrushRight.lhs
    M ./comparison/SYB1_2/CrushRight.lhs -10 +19

[Hs-Generics] patch applied (generics): SYB1_2 fails for CrushRight.

Alexey Rodriguez Yakushev