如何解决如何从 TemplateHaskell 引用函数
我无法从用 TemplateHaskell 生成的表达式中调用一些东西。假设我想使用“：”运算符来列出缺点。
我看到了语法 '(:) 但它对我不起作用。
我还尝试查找名称值并将 mkName ":" 包装到 (AppE (VarE (mkName ":")) 中，但以上都不起作用...
{-# LANGAUGE TemplateHaskell #-}
{-# LANGAUGE TemplateHaskellQuotes #-}
{-# LANGUAGE QuasiQuotes #-}
import Language.Haskell.TH
import Language.Haskell.TH.Syntax as S
import Language.Haskell.TH.Quote
useColon :: Q [Dec]
useColon = do
let fName = mkName "f"
pure [ FunD fName
[Clause []
(normalB (InfixE (Just (LitE (IntegerL 1)))
'(:)
(Just (ListE [])))) []]
]
• Syntax error on '(:)
Perhaps you intended to use TemplateHaskell or TemplateHaskellQuotes
• In the Template Haskell quotation '(:) | 36 | '(:) | ^^^^
解决方法
我在 TH 扩展中创建了一个类型，我不得不使用 ConE 而不是 VarE
useColon :: Q [Dec]
useColon = do
let fName = mkName "f"
pure [ FunD fName [Clause []
(NormalB (InfixE (Just (LitE (IntegerL 1)))
(ConE '(:))
(Just (ListE [])))) []]]
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。