Question on tree-walking and mutually-recursive types

[Joseph S. Myers]

On Tue, 29 Jun 2004, Michael Matz wrote:

> ???  This tests if list_{2j+1} or list_{2j+2} equals list_j.  Hence it 
> doesn't detect cycles.  Cf list == {1,2,3,1}

Take j=n-1 for for a cycle of period n.

-- 
Joseph S. Myers               http://www.srcf.ucam.org/~jsm28/gcc/
    jsm@polyomino.org.uk (personal mail)
    jsm28@gcc.gnu.org (Bugzilla assignments and CCs)