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