On Tue, Jun 22, 2004 at 01:52:44PM +0100, Malcolm Wallace wrote:
> Adrian Hey <[EMAIL PROTECTED]> 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.

Attachment: pgp1oAogFYQMJ.pgp
Description: PGP signature

_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to