[Hs-Generics] patch applied (generics): GShow[Ext] for EMGM: polishing

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

Previous message: [Hs-Generics] patch applied (generics): Reduce -> CrushRight, big patch
Next message: [Hs-Generics] patch applied (generics): GShow[Ext] for LIGD implemented (when possible)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Feb 11 05:06:53 PST 2008  patrikj at chalmers.se
  * GShow[Ext] for EMGM: polishing

    M ./comparison/EMGM/GShow.lhs -29
    M ./comparison/EMGM/GShowExt.lhs -22 +14
    M ./comparison/TestGShow.lhs -2 +1
    M ./comparison/TestGShowExt.lhs -1 +1
    M ./comparison/log.txt +1

Previous message: [Hs-Generics] patch applied (generics): Reduce -> CrushRight, big patch
Next message: [Hs-Generics] patch applied (generics): GShow[Ext] for LIGD implemented (when possible)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list