[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