[Hs-Generics] patch applied (generics): GMapQ1 test for RepLib.

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Tue Mar 18 08:53:37 EDT 2008

Previous message: [Hs-Generics] patch applied (generics): TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?
Next message: [Hs-Generics] patch applied (generics): Spine corrections
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Mar 17 11:03:26 PDT 2008  Alexey Rodriguez <mrchebas at gmail.com>
  * GMapQ1 test for RepLib.

    M ./comparison/RepLib/GShow.lhs -14 +12

Previous message: [Hs-Generics] patch applied (generics): TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?
Next message: [Hs-Generics] patch applied (generics): Spine corrections
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list