[Hat] Cycles

[Thomas Davie]

On 9 Dec 2004, at 13:52, Malcolm Wallace wrote:

> Thomas Davie <tom.davie at gmail.com> writes:
>
>>    I was just wondering if anyone had a 'definitive' list of where it 
>> is
>> possible to get a cycle in an ART.  Has anyone looked at where it is
>> theoretically possible to get a cycle and what code causes it?  Or, if
>> not, does anyone have a list simply from the experience of writing the
>> SExp cycle detection code.  I'm having a few problems deciphering
>> exactly what it is looking for.
>
> Thorsten Brehm, the author of the cycle-detection code, would be
> the best person to ask.  Unfortunately, his Master's Thesis about
> the implementation of the Hat tools does not mention the subject of
> cycles at all.
>
> One obvious source of a cycle in the trace would be genuinely
> circular code:
>
>     let xs = 1:xs in xs
>
Blargh.. repeating 1's obviously not 1,2,3,4....

Bob

--
Computer Science is as much about computers as astronomy is about 
telescopes -- Edsgar Dijkstra