Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T3966.hs
1 {-# OPTIONS_GHC -Werror #-}
2
3 module T3966 where
4
5 data Foo a b = Foo {-# UNPACK #-} !(a -> b)