[Hs-Generics] patch applied (generics): More grose error messages

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

Previous message: [Hs-Generics] patch applied (generics): Reduce tests local redefinitions better.
Next message: [Hs-Generics] patch applied (generics): SYB1_2 implements the new Reduce test, but fails because of inherent limitations.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu May 31 08:44:30 PDT 2007  Alexey Rodriguez <alexey at cs.uu.nl>
  * More grose error messages

    M ./comparison/GM/GEq.lhs -1 +4
    M ./comparison/RepLib/GEq.lhs +4

Previous message: [Hs-Generics] patch applied (generics): Reduce tests local redefinitions better.
Next message: [Hs-Generics] patch applied (generics): SYB1_2 implements the new Reduce test, but fails because of inherent limitations.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list