[Hs-Generics] patch applied (generics): Added a transformation map to LIGD (gmapT), will be useful for a test at least.

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Mon Feb 25 08:39:42 EST 2008

Previous message: [Hs-Generics] patch applied (generics): TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed)
Next message: [Hs-Generics] patch applied (generics): RmWeights for LIGD
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Feb 25 04:19:15 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * Added a transformation map to LIGD (gmapT), will be useful for a test at least.

    M ./comparison/Common.lhs +8
    M ./comparison/LIGD/GMapQ.lhs -23 +33

Previous message: [Hs-Generics] patch applied (generics): TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed)
Next message: [Hs-Generics] patch applied (generics): RmWeights for LIGD
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list