On 30/07/06, Ian Lynagh <[EMAIL PROTECTED]> wrote:
If the value of (id x) is demanded then the value of x will always be
demanded. Therefore id is strict in its first argument.
...
In place of your 2), I would say
(f x0 .. xn) is strict in xi if demanding the value of (f x0 .. xn)
requires demanding the value of xi.
Ah. Very helpful. Thanks.
--
-David House, [EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
