blob: 770290d7dbef1681dbbfaaca33023b2ccd7f0604 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds #-}
module T9692 where
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import Language.Haskell.TH.Ppr
import System.IO
class C a where
data F a (b :: k) :: *
instance C Int where
data F Int x = FInt x
$( do info <- qReify (mkName "F")
runIO $ putStrLn $ pprint info
runIO $ hFlush stdout
return [])
|
