testsuite/tests/ghc-regress/th/T2817.hs


1
2
3
4
5
6
7
8
9
10
11

{-# OPTIONS -XTemplateHaskell #-} 
module TH( x ) where 
import Language.Haskell.TH

data T f = MkT (f Int)

x = $(return (SigE (VarE 'x) (AppT (ConT ''T) (AppT ArrowT (ConT ''Int)))))