diff options
Diffstat (limited to 'testsuite/tests/th/T12646.hs')
| -rw-r--r-- | testsuite/tests/th/T12646.hs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/th/T12646.hs b/testsuite/tests/th/T12646.hs index 197d59e67b..b3ba86e54c 100644 --- a/testsuite/tests/th/T12646.hs +++ b/testsuite/tests/th/T12646.hs @@ -3,12 +3,13 @@ {-# LANGUAGE TypeFamilies #-} module T12646 where -import Language.Haskell.TH +import Language.Haskell.TH hiding (Type) import System.IO +import Data.Kind (Type) -type family F (a :: k) :: * where - F (a :: * -> *) = Int - F (a :: k) = Char +type family F (a :: k) :: Type where + F (a :: Type -> Type) = Int + F (a :: k) = Char $(do info <- reify ''F runIO $ putStrLn $ pprint info |