haskell - 我可以依靠 Template Haskell 扩展(使用 -ddump-splices)来始终生成有效代码吗？

Question

我编写了一个小实用程序来扩展 Haskell 模块中的所有 TH 拼接，这样即使 TH 不可用，我也可以使用 haskell 模块。为此，我通过 -ddump-splices在编译模块并捕获生成的代码时选择 GHC，然后用捕获的代码替换模块中的 TH 声明。

但是，看起来 -ddump-splices 并不总是生成可编译的代码。具体来说，它似乎使用大括号进行布局，但没有在正确的位置添加分号!

这是我的测试文件中的一个示例-

case dispatch_a3Tg pieces0_a3Tf of {
    Just f_a3U6
      -> f_a3U6
           master0_a3T9
           sub0_a3Ta
           toMaster0_a3Tb
           app4040_a3Tc
           handler4050_a3Td
           method0_a3Te
    Nothing -> app4040_a3Tc }

在这里，它生成了左大括号和右大括号，但不是两种情况替代之间所需的分号。这会在编译时导致以下错误 -

GHCi, version 7.4.1: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling Main             ( Test.hs, interpreted )

Test.hs:51:17: parse error on input `->'
Failed, modules loaded: none.
Prelude> 

Answer 1

不，拼接转储通常是无效代码，需要大量时间才能将它们减少到不仅可以编译而且人类可以理解的内容。在调查 TYB 的各个方面时，这是一个令人沮丧的原因。 .