summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail165.stderr
blob: 19fe79bb78228ffe292cbf6ac57ba46be535c144 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

tcfail165.hs:19:23: error:
    • Couldn't match expected type ‘forall a. Show a => a -> String’
                  with actual type ‘b0 -> String’
    • In the second argument of ‘putMVar’, namely
        ‘(show :: forall b. Show b => b -> String)’
      In a stmt of a 'do' block:
        putMVar var (show :: forall b. Show b => b -> String)
      In the expression:
        do var <- newEmptyMVar ::
                    IO (MVar (forall a. Show a => a -> String))
           putMVar var (show :: forall b. Show b => b -> String)