我认为this issue中涵盖了潜在的技术问题。Cabal假设你不想要单元测试代码本身的覆盖率报告，只想要被测试的代码，所以它调用hpc的方式是排除单元测试代码，只有实际被测试的源代码才包含在覆盖率报告中。如果代码是单独编译的库的一部分，这很容易做到：涵盖了库，但不涵盖任何属于单元测试的模块。
但是，如果您没有library节，只有executable和test-suite节使用共享的模块集，则没有明显的方法来区分单元测试中不应覆盖的test-suite模块和应覆盖的被测试代码中的模块。
更普遍地说，Cabal对测试executable节的支持很差。根据this issue中的讨论，真正测试executable的唯一方法是使用hack -要么指定executable和test-suite节共享相同的hs-source-dirs，最终双重编译所有内容，要么将重要的内容移动到library中，并将executable作为存根。你可能使用的是前一种方法，而不是后一种，但两者都很糟糕。开发人员似乎已经决定“将所有内容都移动到library中”是推荐的方法，即使不是所有的文档和/或教程材料都清楚地说明了这一点。
请注意，Stack的情况与此类似--默认模板通常有一个存根应用程序，其中只包含一个main函数，其他所有内容都被移到库中。
我想我会建议将整个应用程序（而不仅仅是你想要测试的部分）移动到library中，并为你的executable编写一个stub main函数，如下所示：

module Main where

import qualified Lib

main :: IO ()
main = Lib.main

test-suite和executable都取决于library。