[Haskell-cafe] Configuring cabal to tell HPC to ignore certain functions

Hi Café I want to configure a cabal package (specifically, copilot-core) so that, when HPC is executed during testing with coverage enabled, it ignores certain definitions, for example: - Anything that is auto-generated (e.g., Show). - Data constructors and field accessors, for which GHC also defines functions automatically, are all assumed to work. - Proxy doesn't need to be WHNFed. 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. Any pointers? Thanks! Ivan