Lennart Augustsson <[EMAIL PROTECTED]> writes:
> I might have missed some of the context here, but
> case z of z' -> e
> is the same as
> let z' = z in e
> according to the Haskell semantics, so it doesn't force anything
> to whnf.
Sorry, should have made it clear that I was talking about GHC Core
syntax, not Haskell source. The case expression above is equivalent
to
seq z e
Cheers,
Simon
--
Simon Marlow [EMAIL PROTECTED]
University of Glasgow http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key