liquidhaskell-0.8.2.2: tests/pos/TemplateHaskell.hs

{-# LANGUAGE TemplateHaskell #-}

module TemplateHaskell where

import Language.Haskell.TH.Syntax

foo = [| 1 + 2|]

bar :: Q [Dec]
bar = do
  Just varName <- lookupValueName "hello"
  return  [SigD varName $ ConT $ mkName "String"]