[Haskell-cafe] hpc - ignore some expressions

Matthew Pickering matthewtpickering at gmail.com
Tue Mar 24 17:56:48 UTC 2015


Hi Ozgur,

I personally found the paper describing HPC to be quite descriptive.
See especially section 3.3 - it seems like it would be possible to
hack something up to remove entries containing "error" for example.
That being said, I can't find any reference to the program
"hpc-makemtix" aside from that paper. Maybe it got folded back into
hpc? Did you make any progress with this?

http://www.cs.york.ac.uk/plasma/publications/pdf/GillRuncimanHW07.pdf


On Mon, Feb 23, 2015 at 9:19 PM, Ozgur Akgun <ozgurakgun at gmail.com> wrote:
>
> On 23 February 2015 at 20:02, Dominic Steinitz <dominic at steinitz.org> wrote:
>>
>> I think you are right about it being fragile and becoming a big overhead
>> in maintenance.  Maybe one could add some sort of annotation to the sources
>> for which you wish to check coverage and also modify HPC to handle these?
>
>
> A simple interface where the user provides a list of function names to be
> ignored would be a good start.
>
> Something like:
>
> hpc markup prog.tix --destdir=report
> --ignore=fail,error,impossible,undefined
>
> It _could_ also be a good idea to have a way of ignoring literals. Flags
> like --ignore-num-literals and --ignore-string-literals could treat all such
> literals as covered or ignored.
>
> Maybe I should put this as a feature request to the hpc maintainers.
> I am wondering if they maintain an issue tracker or not.
>
> The wiki pages for hpc aren't very helpful...
>
> (Starting from: https://wiki.haskell.org/GHC/HPC)
>
> Ozgur
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>


More information about the Haskell-Cafe mailing list