Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_compile / FD1.stderr
1 \r
2 FD1.hs:16:1:\r
3     Couldn't match expected type ‘Int -> Int’ with actual type ‘a’\r
4       ‘a’ is a rigid type variable bound by\r
5           the type signature for: plus :: E a (Int -> Int) => Int -> a\r
6           at FD1.hs:15:9\r
7     Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1)\r
8     The equation(s) for ‘plus’ have two arguments,\r
9     but its type ‘Int -> a’ has only one\r