Fix #11287.
[ghc.git] / testsuite / tests / th / T7477.hs
1 {-# LANGUAGE DataKinds, KindSignatures, PolyKinds, TypeFamilies, TemplateHaskell #-}
2
3 module T7477 where
4
5 import Language.Haskell.TH
6
7 type family F (a :: k)
8 type instance F Int = Bool
9
10 $( do { info <- reifyInstances ''F [ConT ''Int]
11 ; reportWarning (pprint info)
12 ; return [] })