我可以依靠模板Haskell扩展(使用-ddump拼接)始终生成有效代码吗?

我可以依靠模板Haskell扩展(使用-ddump拼接)始终生成有效代码吗?,haskell,syntax,template-haskell,Haskell,Syntax,Template Haskell,我已经编写了一个小实用程序来扩展Haskell模块中的所有TH拼接,这样即使TH不可用,我也可以使用Haskell模块。为了实现这一点,我在编译模块并捕获生成的代码时,将-ddump拼接选项传递给GHC,然后用捕获的代码替换模块中的TH声明 但是,看起来-ddump拼接并不总是生成可编译代码。具体来说,它似乎在布局中使用大括号,但没有在正确的位置添加分号 下面是我的测试文件中的一个示例- case dispatch_a3Tg pieces0_a3Tf of { Just f_a3U6

我已经编写了一个小实用程序来扩展Haskell模块中的所有TH拼接,这样即使TH不可用,我也可以使用Haskell模块。为了实现这一点,我在编译模块并捕获生成的代码时,将
-ddump拼接
选项传递给GHC,然后用捕获的代码替换模块中的TH声明

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

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

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 }
在这里,它生成了大括号和右大括号,但不生成两个case选项之间所需的分号。这会在编译时导致以下错误-

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> 

不,拼接转储通常是无效的代码,并且需要花费大量的时间才能将其简化为不仅可编译而且人类可以理解的代码。这是一个挫折的来源,当调查的方面。

什么是TYB?Temecula青少年棒球?我在编辑中添加了一个链接,真的很想用{,}oogle来开玩笑。这并不是一个坏问题,只是指出hoogle在Haskell Sun.GHC特性请求下对所有东西都有多有用是一种习惯:。它不太可能在不久的将来被修复。谢谢链接。我承认我没有试过hoogle,但我猜你也没有试过google。我试过google——对我来说,几乎整个第一页都是关于主题的(即使在删除个人结果之后)。