blob: b3ba86e54c9ba333f9ed491fbff70f137ff5869a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T12646 where
import Language.Haskell.TH hiding (Type)
import System.IO
import Data.Kind (Type)
type family F (a :: k) :: Type where
F (a :: Type -> Type) = Int
F (a :: k) = Char
$(do info <- reify ''F
runIO $ putStrLn $ pprint info
runIO $ hFlush stdout
return [])
|
