fix misleading error message regarding function arity
[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     Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)
7     The function ‘f1’ is applied to one argument,
8     its type is ‘m0 Bool’,
9     it is specialized to ‘t0 -> Bool’
10     In the expression: f1 undefined
11     In an equation for ‘f2’: f2 = f1 undefined