Understanding strictness of ghc output

Carsten Schultz carsten at codimi.de
Tue Jun 22 09:09:17 EDT 2004

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.



Carsten Schultz (2:38, 33:47), FB Mathematik, FU Berlin
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

More information about the Glasgow-haskell-users mailing list