Support RecordWildCards in HPC
Summary
Data type records are marked as "never executed" when I use them only with RecordWildCards. The same could probably be said for NamedFieldPuns as well.
Steps to reproduce
{-# LANGUAGE RecordWildCards #-}
data Foo = Foo
{ foo1 :: Int
, foo2 :: Int
}
showFoo :: Foo -> IO ()
showFoo Foo{..} = print (foo1, foo2)
main = showFoo (Foo 1 2)
Running the above with coverage shows foo1
and foo2
as uncovered.
Expected behavior
foo1
and foo2
should be marked as "hit"
Environment
- GHC version used: 8.8.1
Optional:
- Operating System: MacOS 10.14.6
- System Architecture: