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

[Tim Chevalier]

On 8/3/07, Simon Peyton-Jones <simonpj at 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 at alum.wellesley.edu * Often in error, never in doubt