Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / typecheck / should_fail / T9605.stderr
1
2 T9605.hs:7:6:
3     Couldn't match type ‘Bool’ with ‘m Bool’
4     Expected type: t0 -> m Bool
5       Actual type: t0 -> Bool
6     The function ‘f1’ is applied to one argument,
7     its type is ‘m0 Bool’,
8     it is specialized to ‘t0 -> Bool’
9     In the expression: f1 undefined
10     In an equation for ‘f2’: f2 = f1 undefined
11     Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)