Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail187.hs
1 -- Trac #1806
2
3 module ShouldFail where
4
5 data Foo = (:::)
6
7 foo (x ::: y) = ()