Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail168.stderr
1
2 tcfail168.hs:7:11: error:
3     • Couldn't match expected type ‘IO a0’
4                   with actual type ‘Char -> IO ()’
5     • Probable cause: ‘putChar’ is applied to too few arguments
6       In a stmt of a 'do' block: putChar
7       In the expression:
8         do { putChar;
9              putChar 'a';
10              putChar 'a';
11              putChar 'a';
12              .... }
13       In an equation for ‘foo’:
14           foo
15             = do { putChar;
16                    putChar 'a';
17                    putChar 'a';
18                    .... }