[Haskell-cafe] Re: Monad laws

Maciej Piechotka uzytkownik2 at gmail.com
Tue Mar 2 21:26:13 EST 2010

> In GHC 6.12.1 both expressions reduce to True, but it doesn't happen
> in GHC 6.10.4. Any ideas why the behaviour is different?

Maybe (I'm guessing) GHC 6.12.1 is smart enough to figure out that f a
is not needed to evaluate True?

In docs it was said that seq states that 'it may be beneficial but
details are up to compiler.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20100302/81a96cec/attachment.bin

More information about the Haskell-Cafe mailing list