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

31 May 2007


      Thu May 31 08:57:19 PDT 2007  Alexey Rodriguez <alexey@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

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

Alexey Rodriguez Yakushev