We are pleased to announce the first release of hpc, a new tool for 
Haskell developers.  Hpc records and displays Haskell program coverage. 
It provides coverage information of two kinds: source coverage and 
boolean-control coverage. Source coverage is the extent to which every 
part of the program was used, measured at three different levels: 
declarations (both top-level and local), alternatives (among several 
equations or case branches) and expressions (at every level). Boolean 
coverage is the extent to which each of the values True and False is 
obtained in every syntactic boolean context (ie. guard, condition, 
qualifier). Hpc displays both kinds of information in two different 
ways: textual reports with summary statistics (hpc-report) and sources 
with colour mark-up (hpc-source).

For further information and a tar-ball for hpc 0.2 see 
http://www.galois.com/~andy/hpc-intro.html

Colin Runciman and Andy Gill