除草机 Weeder是用于执行全程序死代码分析的应用程序。 无效代码是已编写的代码,但其他任何代码都无法访问。 在项目的整个生命周期中,这种情况会随着代码的添加和删除而发生,并且永远不会清除剩余的代码。 尽管GHC发出警告以检测死代码是单个模块,但这些警告并没有跨越模块边界-这是Weeder的来龙去脉。 Weeder使用GHC生成的HIE文件-这些文件可以被视为GHC增强的源代码,添加了完整的符号解析和类型信息。 Weeder从这些文件构建依赖关系图,以了解代码如何交互。 一旦完成所有分析,Weeder就会从一组根(例如,您的main函数)中遍历该图,并确定可访问的代码和已死的代码。 使用除草机 准备除草代码 要使用Weeder,您将需要从源代码生成.hie文件。 阴谋 如果您使用Cabal,可以通过在cabal.project.local文件中添加一行来轻松实现: package *