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

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Tue Feb 12 06:31:22 EST 2008

Previous message: [Hs-Generics] patch applied (generics): GShowExt SYB1_2 added (working)
Next message: [Hs-Generics] patch applied (generics): Simplification of representation of arity two
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Feb 11 13:01:02 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * SYB1_2 fails for CrushRight.

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

Previous message: [Hs-Generics] patch applied (generics): GShowExt SYB1_2 added (working)
Next message: [Hs-Generics] patch applied (generics): Simplification of representation of arity two
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list