haskell - 模板 Haskell 引用中的独立派生声明

Question

为什么模板 Haskell 忽略引用中的独立派生声明？

{-# LANGUAGE TemplateHaskell, StandaloneDeriving #-}
data Test a = Test a
$([d| deriving instance Show a => Show (Test a); f x = x |])

ghci> :l Test.hs 
[1 of 1] Compiling Main             ( Test.hs, interpreted )
Ok, modules loaded: Main.
ghci> :t f
f :: t -> t
ghci> Test 1 :: Test Int

<interactive>:18:1:
    No instance for (Show (Test Int)) arising from a use of `print'
    Possible fix: add an instance declaration for (Show (Test Int))
    In a stmt of an interactive GHCi command: print it

Answer 1

这曾经是编译器的一个缺点，其中用于声明的 Template Haskell 数据类型甚至无法存储独立的派生实例（参见http://hackage.haskell.org/packages/archive/template-haskell/2.8 .0.0/doc/html/Language-Haskell-TH-Syntax.html#t:Dec )。

不过，自 7.10 以来，此错误已得到修复。（感谢@VladimirStill 在下面的评论中指出这一点。）