
20 Sep
2005
20 Sep
'05
11 a.m.
Jørgen Hermanrud Fjeld
I have a generated Haskell program that emits a "Fail: <<loop>>" at runtime. Are there some tools or standard manner for identifying the lines that participate in the loop?
Provided your program does not use too many GHC extensions or fancy libraries, you could try using the Hat tracer http://haskell.org/hat which now comes with two tools called 'hat-nonterm' and 'black-hat', specially designed for finding the cycle that leads to a black hole or non-termination. Regards, Malcolm