[Haskell-cafe] Re: Monad laws

[Maciej Piechotka]

>         
> 
> 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.

Regards
-------------- 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