Re: [Hat] Cycles

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

Thomas Davie 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