diff options
Diffstat (limited to 'testsuite/tests/th/T5882.hs')
-rw-r--r-- | testsuite/tests/th/T5882.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/th/T5882.hs b/testsuite/tests/th/T5882.hs index 73805bf082..b4590a2b12 100644 --- a/testsuite/tests/th/T5882.hs +++ b/testsuite/tests/th/T5882.hs @@ -1,10 +1,13 @@ {-# LANGUAGE GADTSyntax, TemplateHaskell, KindSignatures #-} module T5882 where -data Foo :: * -> * where + +import Data.Kind (Type) + +data Foo :: Type -> Type where Foo :: a -> Foo a -$( [d| data Bar :: * -> * where +$( [d| data Bar :: Type -> Type where Bar :: a -> Bar a |] ) |