Understanding strictness of ghc output

[Carsten Schultz]

On Tue, Jun 22, 2004 at 01:52:44PM +0100, Malcolm Wallace wrote:
> Adrian Hey <ahey at iee.org> writes:
> [...] the first clause
>    addHeight h  E        = h
> is still lazy, because it simply binds the variable without forcing it.

Since  addHeight _|_ E -> _|_, this is strict in the first argument.
I do not know, what the strictness analyzer makes of it, though.

Greetings,

Carsten

-- 
Carsten Schultz (2:38, 33:47), FB Mathematik, FU Berlin
http://carsten.codimi.de/
PGP/GPG key on the pgp.net key servers, 
fingerprint on my home page.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/glasgow-haskell-users/attachments/20040622/4b58e6bf/attachment.bin