HATCOVER
Section: Misc. Reference Manual Pages (1)
Updated: October 2004
Index
Return to Main Contents
NAME
hatcover  highlight Haskell source expressions used in a traced run
SYNOPSIS
hatcover
[OPTION]... [TRACEFILE] [SOURCEFILE]...
DESCRIPTION
Print to standard output a listing of each Haskell SOURCEFILE,
highlighting all expressions for which at least one instance occurs
in the hat TRACEFILE.
The TRACEFILE may be specifed with or without a
extension; similarly each SOURCEFILE may be specified with or
without a
extension.
If no SOURCEFILE is specified
hatcover
lists all sources in which there are traced expressions.
The highlighted expressions in the output are maximal expressions
represented in TRACEFILE. However, caseexpressions, ifexpressions
and letexpressions are not included among the candidate maximal expressions.
As a result, in outermost case/if/let layers each alternative, branch
or local definition is considered separately for highlighting.
However, where a case/if/let occurs as a part of a larger expression of some
other kind, any highlighting of the larger expression will also highlight
the entire case/if/let.
More generally, one
cannot infer from the highlighting of an expression that every subexpression
within it was needed at some point in the traced computation.
Extra detail in coverage information can be obtained if necessary
by lifting out key subexpressions as the righthandsides
of local definitions.
 hion=onchars, hioff=offchars

options reset the charactersequence codes used to switch highlighting
on and off in the output.
AUTHOR
Written by Colin Runciman.
BUGS/LIMITATIONS
Some lonevariable expressions are not candidate
maximal expressions for highlighting  but any entire
righthandside, or any alternative, branch or letbody in outermost
case/if/let layers, are always candidates.
Some trailing brackets in expressions are not included in highlighting.
Both problems are consequences of the current hat trace representation.
REPORTING BUGS
Report bugs to <artteam@cs.york.ac.uk>.
COPYRIGHT
Copyright © 2004 University of York.
This is free software without warranty of any kind.
SEE ALSO
The
hatcover
program is one of many tools in the
hat
tracing system for Haskell programs.
For further information about
hat
see
http://haskell.org/hat
Index
 NAME

 SYNOPSIS

 DESCRIPTION

 AUTHOR

 BUGS/LIMITATIONS

 REPORTING BUGS

 COPYRIGHT

 SEE ALSO

This document was created by
man2html,
using the manual pages.
Time: 13:31:37 GMT, October 12, 2004