如何从 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 [])))) []]]