testsuite/tests/th/T16195A.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE TemplateHaskell #-}
module T16195A where

import Language.Haskell.TH

foo :: Q (TExp (IO ()))
foo = [|| return () ||]

showC :: Q (TExp (() -> String))
showC = [|| show ||]

unitC :: Q (TExp ())
unitC = [|| () ||]