Re: Adding type signature changes semantics (was [Haskell-cafe] Lazy in either argument?)

On 8/3/07, Simon Peyton-Jones <simonpj@microsoft.com> wrote:

Stefan is right here.

- It's not surprising that with -Onot you get different code from different source programs, even if one can readily be transformed into the other. That's what -O does.

Yes, but I found it surprising that just removing a type signature should result in markedly different code. Are there other known situations where that can happen? Cheers, Tim -- Tim Chevalier * chevalier@alum.wellesley.edu * Often in error, never in doubt