如何使用Template Haskell识别自动包含模块的未绑定变量？

Question

是否有可能使用Template Haskell预分析代码，搜索未定义的符号并包含它们，如果它们在其他地方定义的话？ I.E，模拟Eclipse的Java程序自动包含（除了实际上没有更改源代码）？

Answer 1

目前这不是GHC的一个功能，尽管提出了建议和多个用例in the GHC Trac。

确定将其纳入下一版GHC需要做多少工作可能会很有趣。