haskell - 这是 Template Haskell 的预期行为吗？

Question

谁能告诉为什么这段代码不能编译

data A = A {
  _b  :: B
}
makeLenses ''A

type B = String

带消息

Not in scope: type constructor or class B

这确实:

type B = String

data A = A {
  _b  :: B
}
makeLenses ''A

没有 makeLenses一切都编译得很好。

为什么我不能在 makeLenses 之后有类型同义词声明？

Answer 1

范围内只能访问模板 haskell 调用之前的定义。

请参阅有关同一主题的上一个问题:Haskell: Template Haskell and the scope .