Add kind equalities to GHC.
[ghc.git] / testsuite / tests / th / T3920.hs
1 {-# LANGUAGE EmptyDataDecls, TypeFamilies, TemplateHaskell #-}
2 module Main where
3
4 import Language.Haskell.TH
5
6 type family S :: (* -> (* -> * -> *)) -> (* -> *) -> *
7
8 $(return [])
9
10 test :: String
11 test = $(do
12 test <- [d|
13 type family T :: (* -> (* -> * -> *)) -> (* -> *) -> * |]
14 blah <- reify ''S
15 return (LitE (StringL (pprint test ++ "\n" ++ pprint blah))))
16
17 main = putStrLn test