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

Tim Chevalier catamorphism at
Fri Aug 3 17:24:09 EDT 2007

On 8/3/07, Simon Peyton-Jones <simonpj at> 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?


Tim Chevalier * chevalier at * Often in error, never in doubt

More information about the Glasgow-haskell-users mailing list