On 4/4/06, Simon Marlow <[EMAIL PROTECTED]> wrote:
> So deepSeq doesn't return _|_ when passed a cyclic structure? This is a
> bad idea, because it lets you distinguish cyclic structures from
> infinite ones. deepSeq has to behave like a function, regardless of its
> implementation.
Why is this necessary?
--
Taral <[EMAIL PROTECTED]>
"You can't prove anything."
-- Gödel's Incompetence Theorem
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
