path: root/testsuite/tests/th/T8577a.hs

{-# LANGUAGE TemplateHaskell #-}
module T8577a where
import Language.Haskell.TH

data A a = A

x :: Code Q (A a)
x = [|| A ||]

y :: Code Q (A Int)
y = x