[Hs-Generics] patch applied (generics): grose equality not implemented in GL

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Thu May 31 12:20:11 EDT 2007

Previous message: [Hs-Generics] patch applied (generics): The reduce functions for SYB are more honest: no more explicit pattern matching.
Next message: [Hs-Generics] patch applied (generics): Reduce tests local redefinitions better.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu May 31 08:26:52 PDT 2007  Alexey Rodriguez <alexey at cs.uu.nl>
  * grose equality not implemented in GL

    M ./comparison/GL/GEq.lhs -1 +4

Previous message: [Hs-Generics] patch applied (generics): The reduce functions for SYB are more honest: no more explicit pattern matching.
Next message: [Hs-Generics] patch applied (generics): Reduce tests local redefinitions better.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list