Re: Strictness

[Lennart Augustsson]

> To correctly evaluate seq (x, y) 5 it would be necessary to concurrently 
> evaluate x and y, since (x, y) is bottom if and only if both x and y are 
> bottom.  (I enjoy finding a flaw in Miranda because there are so few to 
> be found!)
Another flaw: There is a seq hidden in foldl.

        -- Lennart