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

Reply via email to