<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>