Re[2]: [Haskell-cafe] is there a way to prove the equivalence of these two implementations of (Prelude) break function?

Hello David, Tuesday, June 8, 2010, 10:33:51 AM, you wrote:

( my guess is USE_REPORT_PRELUDE compiles functions as defined in the haskell report, but the other version is faster and used by default. )

you are right -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com