[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?

Oleg Kiselyov oleg at okmij.org
Tue Mar 18 02:09:59 EDT 2008


Mon Mar 17 23:05:47 PDT 2008  oleg at okmij.org
  * 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?

    M ./comparison/SmashA/GEq.hs -3 +3
    A ./comparison/SmashA/NGRoseDats.hs


More information about the Generics mailing list