Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail165.stderr
1
2 tcfail165.hs:19:23: error:
3     • Couldn't match expected type ‘forall a. Show a => a -> String’
4                   with actual type ‘b0 -> String’
5     • In the second argument of ‘putMVar’, namely
6         ‘(show :: forall b. Show b => b -> String)’
7       In a stmt of a 'do' block:
8         putMVar var (show :: forall b. Show b => b -> String)
9       In the expression:
10         do { var <- newEmptyMVar ::
11                       IO (MVar (forall a. Show a => a -> String));
12              putMVar var (show :: forall b. Show b => b -> String) }