[Hs-Generics] patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Mon Mar 17 09:00:50 EDT 2008

Previous message: [Hs-Generics] patch applied (generics): Made CrushRight more idiomatic for RepLib.
Next 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?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Mar 17 05:54:01 PDT 2008  Alexey Rodriguez <mrchebas at gmail.com>
  * Removed rests of LIGD-style CrushRight from RepLib

    M ./comparison/RepLib/CrushRight.lhs -55

More information about the Generics mailing list