有没有可能用GHCi做reify?
当我尝试使用'runQ‘时,它会抱怨"can not do reify in the IO monad“。
>>> runQ (reify ''Bool)
Template Haskell error: Can't do `reify' in the IO monad
*** Exception: user error (Template Haskell failure)
我并不是在寻找:t
之类的东西,只是想找到一种方法来快速检查reify
返回的内容,而无需将其写入文件并将该文件加载到GHCi中。
发布于 2013-05-22 20:27:07
您只需从拼接中运行它,而不是使用runQ
> $(stringE . show =<< reify ''Bool)
"TyConI (DataD [] GHC.Types.Bool [] [NormalC GHC.Types.False [],NormalC GHC.Types.True []] [])"
https://stackoverflow.com/questions/16690925
复制相似问题