summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T9692.hs
blob: 7f443426048cb81899ade1bcbf3118f84ec235d7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds #-}

module T9692 where

import Data.Kind (Type)
import Language.Haskell.TH hiding (Type)
import Language.Haskell.TH.Syntax hiding (Type)
import Language.Haskell.TH.Ppr
import System.IO

class C a where
        data F a (b :: k) :: Type

instance C Int where
        data F Int x = FInt x

$( do info <- qReify (mkName "F")
      runIO $ putStrLn $ pprint info
      runIO $ hFlush stdout
      return [])