如何在模板haskell中使用getQ和putQ？

Question

我想使用Template Haskell处理Q monad中的状态.根据一些堆栈溢出的答案,有一个使用的解决方案unsafePerformIO,但我想尽可能避免使用它.

我发现getQ并putQ在模块中Language.Haskell.TH.Syntax.这些函数处理template-haskell 2.10文档所示的Q monad中的状态.我试图使用这个API,但getQ无法获得状态.

以下代码是我的问题的一个例子.我希望x能够受到限制(Just B),但x总是如此Nothing.

-- X.hs
{-# LANGUAGE DeriveDataTypeable #-}
module X where
import Data.Typeable
data T = A | B | C deriving (Typeable,Show)


-- Y.hs
{-# LANGUAGE TemplateHaskell #-}
module Y where
import X
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
-- splice for testing getQ and putQ
do
  putQ B
  x <- getQ :: Q (Maybe T)
  runIO $ print x -- prints Nothing
  return []

结果,我收到了以下编译信息.

$ ghc -fforce-recomp Y.hs
[1 of 2] Compiling X                ( X.hs, X.o )
[2 of 2] Compiling Y                ( Y.hs, Y.o )
Nothing

如何使用getQ和putQ？

Answer 1

目前 getQ 中有一个错误：它最近已修复，应该可以在下一版本的 GHC 中运行。