Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail165.hs
1 {-# OPTIONS -XImpredicativeTypes -fno-warn-deprecated-flags #-}
2
3 module ShouldFail where
4
5 import Control.Concurrent
6
7 -- Attempt to put a polymorphic value in an MVar
8 -- Fails, but the error message is worth keeping an eye on
9 --
10 -- Actually (Dec 06) it succeeds now
11 --
12 -- In GHC 7.0 it fails again! (and rightly so)
13
14 -- With the Visible Type Application patch, this succeeds again.
15
16 foo = do var <- newEmptyMVar :: IO (MVar (forall a. Show a => a -> String))
17 putMVar var (show :: forall b. Show b => b -> String)