Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / th / T13642.hs
1 {-# LANGUAGE GADTs, PolyKinds, TemplateHaskell, RankNTypes #-}
2 module T13642 where
3
4 import Data.Kind (Type)
5 import Language.Haskell.TH (stringE, pprint)
6
7 foo :: IO ()
8 foo = putStrLn $([d| data Foo :: forall a. a -> Type where MkFoo :: Foo Int |]
9 >>= \d -> stringE (pprint d))