diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7481.hs')
-rw-r--r-- | testsuite/tests/polykinds/T7481.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T7481.hs b/testsuite/tests/polykinds/T7481.hs index cb64d393a4..b402ce2b80 100644 --- a/testsuite/tests/polykinds/T7481.hs +++ b/testsuite/tests/polykinds/T7481.hs @@ -2,11 +2,12 @@ module T7481 where +import Data.Kind (Type) import Data.Proxy data D a where D1 :: a -> D a D2 :: (a~Int) => D a - D3 :: forall (a::k) b. Proxy a -> D b + D3 :: forall k (a::k) b. Proxy a -> D b -data Foo :: D * -> *
\ No newline at end of file +data Foo :: D Type -> Type |