[Hs-Generics] patch applied (generics): SYB1_2 implements the new Reduce test, but fails because of inherent limitations.

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


Thu May 31 08:57:19 PDT 2007  Alexey Rodriguez <alexey at cs.uu.nl>
  * SYB1_2 implements the new Reduce test, but fails because of inherent limitations.

    M ./comparison/SYB1_2/Reduce.lhs -18 +7
    M ./comparison/TestReduce.lhs +1


More information about the Generics mailing list