Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail127.hs
1 module ShouldFail where
2
3 foo :: IO (Num a => a -> a)
4 foo = error "urk"
5
6 -- baz :: (Num a => a -> a) -> Int
7 -- baz = error "urk"