deeqSeq proposal

Taral taralx at
Tue Apr 4 10:12:12 EDT 2006

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

More information about the Haskell-prime mailing list