blob: 3f67b0dee93b72b8c0a755ae21f0d65106672fd3 (
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 :: *
instance C Int where
data F Int x = FInt x
$( do info <- qReify (mkName "F")
runIO $ putStrLn $ pprint info
runIO $ hFlush stdout
return [])
|
