blob: ab655c0e4a897e52254e2ee80337038454c53e29 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE GADTs, PolyKinds, TemplateHaskell, RankNTypes #-}
module T13642 where
import Data.Kind (Type)
import Language.Haskell.TH (stringE, pprint)
foo :: IO ()
foo = putStrLn $([d| data Foo :: forall a. a -> Type where MkFoo :: Foo Int |]
>>= \d -> stringE (pprint d))
|
