<div dir="ltr"><p dir="auto">Hi Café</p><p dir="auto">I want to configure a cabal package (specifically, <code class="gmail-notranslate">copilot-core</code>) so that, when HPC is executed during testing with coverage enabled, it ignores certain definitions, for example:</p>
<ul dir="auto"><li>Anything that is auto-generated (e.g., <code class="gmail-notranslate">Show</code>).</li><li>Data constructors and field accessors, for which GHC also defines functions automatically, are all assumed to work.</li><li><code class="gmail-notranslate">Proxy</code> doesn't need to be WHNFed.</li></ul>
<p dir="auto">I think there's a way to extract the tix file and modify
it, but I'm trying to make this automated, and configure the cabal
package so that the right options are passed by cabal to HPC. That
way, even hackage will pick it up when it reports the coverage of our
library.</p>
<p dir="auto">Any pointers?</p>
<p dir="auto">Thanks!</p><p dir="auto"></p><p>Ivan<br></p></div>