4 Apr
2006
4 Apr
'06
10:12 p.m.
On 4/4/06, Simon Marlow <simonmar@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@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem