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

[Bulat Ziganshin]

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 at gmail.com