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

时间:2012-08-28 23:48:15

标签: haskell syntax template-haskell

我编写了一个小实用程序来扩展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> 

1 个答案:

答案 0 :(得分:3)

不,splice转储通常是无效的代码,并且需要花费大量时间将这些转换为不仅可以编译而且是人类可理解的东西。在调查TYB的各个方面时,这是令人沮丧的原因。