testsuite/tests/th/T5882.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTSyntax, TemplateHaskell, KindSignatures #-}

module T5882 where
data Foo :: * -> * where
   Foo :: a -> Foo a

$( [d|  data Bar :: * -> * where
           Bar :: a -> Bar a
  |] )

f (Bar x) = Foo x