Question

我正在阅读pozorvlak's baby steps post on Template Haskell以尝试自己理解它，我看到了这一部分：

回想一下，我们试图以编程方式生成data Fred = Fred形式的声明。让我们用quasiquoting来试试吧。由于调用TH代码的限制，我们必须将它放在自己的模块中，所以让我们将以下内容放在Keyword.h中，以便编译器可以找到它：
module Keyword (keyword) where

import Language.Haskell.TH.Syntax
keyword name = [d| data $(name) = $(name) |]
现在编译：
Prelude> :l Keyword.hs
[1 of 1] Compiling Keyword          ( Keyword.hs, interpreted )

Keyword.hs:6:24: parse error on input `$('

这对我敲响了钟声，看起来与我最近读过的其他内容相似，the Template Haskell package documentation：

对于动态绑定的东西（NameS），我们可能希望它们以依赖于上下文的方式，所以我们再次不想要名称空间。例如：
let v = mkName "T" in [| data $v = $v |]
这里我们对类型构造函数和数据构造函数
使用相同的Name

嗯，那几乎是一样的，让我们看看我能不能这样做：

 module Example where
 import Language.Haskell.TH
 let v = mkName "T" in [| data $v = $v |]

给它一个旋转：

 % ghc -XTemplateHaskell -c Example.hs

 Example.hs:3:25: parse error on input `data'

嗯......哦，也许我需要使用d进行声明引用？

 let v = mkName "T" in [d| data $v = $v |]

现在：

 Example.hs:3:31: parse error on input `$v'

所以......发生了什么事？使用显式拼接不会更改任何错误。我是否将模板Haskell文档脱离了上下文，或者它只是错误的？

Answer 1

看起来这是一个早于6.12的GHC版本的错误you can't splice in types。此错误已在GHC版本7.10.1中修复

Template Haskell声明中的局部变量

1 个答案: