diff options
Diffstat (limited to 'testsuite/tests/generics/T8479.hs')
-rw-r--r-- | testsuite/tests/generics/T8479.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/generics/T8479.hs b/testsuite/tests/generics/T8479.hs index 77c95f5449..b3a900249b 100644 --- a/testsuite/tests/generics/T8479.hs +++ b/testsuite/tests/generics/T8479.hs @@ -5,8 +5,9 @@ module T8479 where import GHC.Generics +import Data.Kind (Type) -class Blah (a :: * -> *) where - type F a :: * -> * +class Blah (a :: Type -> Type) where + type F a :: Type -> Type -data Foo (f :: * -> *) a = MkFoo ((F f) a) deriving Generic1 +data Foo (f :: Type -> Type) a = MkFoo ((F f) a) deriving Generic1 |