deeqSeq proposal

[Taral]

On 4/4/06, Simon Marlow <simonmar at microsoft.com> 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 <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem