[Hs-Generics] patch applied (generics): GShow[Ext] PolyP (trivially failing cases added)

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Mon Feb 11 15:43:54 EST 2008

Previous message: [Hs-Generics] patch applied (generics): GShow[ext] RepLib updates (minimal imports, etc.) + simplification of same test for EMGM
Next message: [Hs-Generics] patch applied (generics): GShow[Ext] Spine: removed cheating in GShow, added (failing) GShowExt
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Feb 11 06:32:35 PST 2008  patrikj at chalmers.se
  * GShow[Ext] PolyP (trivially failing cases added)

    M ./comparison/PolyP/GShow.lhs -6 +2
    A ./comparison/PolyP/GShowExt.lhs
    M ./comparison/log.txt -6 +2

Previous message: [Hs-Generics] patch applied (generics): GShow[ext] RepLib updates (minimal imports, etc.) + simplification of same test for EMGM
Next message: [Hs-Generics] patch applied (generics): GShow[Ext] Spine: removed cheating in GShow, added (failing) GShowExt
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list