[Haskell-cafe] How to locate a <<loop>>?

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Sep 20 11:00:14 EDT 2005


Jørgen Hermanrud Fjeld <jhf at hex.no> writes:

> 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


More information about the Haskell-Cafe mailing list