is an interactive tool for finding bugs in the trace of a Haskell program
supplied as its argument. The user must answer a sequence of yes/no
questions. Each question asked by hat-detect concerns the reduction
of a function application to a value. You answer yes if the reduction
is correct with respect to your intentions, and <em>no</em> otherwise.
After a number of questions hat-detect reports an example equation
which is the cause of the observed faulty behaviour - that is, which
function definition is incorrect.
The hat-detect browser asks you questions, so the basic mode of
interaction is to type answers:
Yes, the equation looks correct by my understanding of the meaning
of the function.
No, the equation looks incorrect. Given the displayed arguments,
the function is returning the wrong result.
The following other commands are available. They each begin with
Show the EDTs hat-detect is currently searching for bugs
Show the children of the current reduction.
Exit the interactive tool.
Shows help text giving an overview of the commands available.
Shows (in a separate window) the source code for the reduction currently being queried.
Start the hat-delta browser in a new window, beginning with the currently
Start the hat-detect browser in a new window, beginning with the currently
Start the hat-explore browser in a new window, beginning with the currently
Start a hat-trail browser in a new window, beginning with the currently