Re: Understanding strictness of ghc output

On Tue, Jun 22, 2004 at 01:52:44PM +0100, Malcolm Wallace wrote:

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