Manpage of HAT-NONTERM
Section: User Commands (1)
Return to Main Contents
hat-nonterm - finds and displays a non-termination path
is a one-shot tool for displaying a simple trace of
a non-terminating program. The tool picks a function likely to
be involved in the non-termination. It then displays a trace
containing some number of reductions of this function.
Note that the traced program must first be compiled using the
Hat tracing tools, and executed to generate a trace file.
Possible options are as follows:
control whether to show functions qualified by the name
of their module
subexpressions in printed expressions are cut off and
replaced with a placeholder below a depth of DEPTH
control how many instances of the suspicious function
appear on the displayed extract of the non-termination
control whether to show the root of the search path, or
just the path from the suspicious function instance
control whether to show source references for each
expression on the path
control whether to show the number of accesses to the
control whether to show the octal addresses of the
expression nodes, along side the pretty-printed versions
Written by Mike Dodds.
Report bugs to <firstname.lastname@example.org>
Copyright © 2004 University of York.
This is free software without warranty of any kind.
is one of many tools in the
tracing system for Haskell programs.
For further information about
- REPORTING BUGS
- SEE ALSO
This document was created by
using the manual pages.
Time: 21:27:06 GMT, May 04, 2005