Lỗi Haskell mẫu khi sử dụng "bắt nguồn"

Question

Một chút nhầm lẫn với kết quả tôi nhận được. Sử dụng như sau:

GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> :m + Language.Haskell.TH 

tôi nhận được kết quả thành công này:

Prelude Language.Haskell.TH> runQ [d| data X = X |] 
[DataD [] X_0 [] [NormalC X_1 []] []] 

Nhưng tôi nhận được lỗi này:

Prelude Language.Haskell.TH> runQ [d| data X = X deriving Show |] 

<interactive>:4:30: 
    The exact Name `X' is not in scope 
     Probable cause: you used a unique name (NameU) in Template Haskell but did not bind it 
    In the Template Haskell quotation [d| data X = X deriving (Show) |] 
    In the first argument of `runQ', namely 
     `[d| data X = X deriving (Show) |]' 
    In the expression: runQ [d| data X = X deriving (Show) |] 

tôi không thể lấy được Hiển thị thời điểm sử dụng Template Haskell?

Answer 1

Hình như đây là một bug in GHC đó là fixed trong phiên bản 7.6.1:

$ ~/bin/ghc-7.6.1/bin/ghci 
GHCi, version 7.6.1: http://www.haskell.org/ghc/ :? for help 
[...] 
Prelude> :set -XTemplateHaskell 
Prelude> import Language.Haskell.TH 
Prelude Language.Haskell.TH> runQ [d| data X = X deriving (Show) |] 
[...] 
[DataD [] X_0 [] [NormalC X_1 []] [GHC.Show.Show]]