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