[Hs-Generics] patch applied (generics): GShow[Ext] for LIGD implemented (when possible)

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

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

Mon Feb 11 05:40:33 PST 2008  patrikj at chalmers.se
  * GShow[Ext] for LIGD implemented (when possible)

    M ./comparison/LIGD/GShow.lhs -39 +12
    A ./comparison/LIGD/GShowDef.lhs
    A ./comparison/LIGD/GShowExt.lhs
    M ./comparison/log.txt -1 +6

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

More information about the Generics mailing list