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