Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail208.stderr
1 \r
2 tcfail208.hs:4:19:\r
3     Could not deduce (Eq (m a)) arising from a use of â€˜==’\r
4     from the context (Monad m, Eq a)\r
5       bound by the type signature for:\r
6                f :: (Monad m, Eq a) => a -> m a -> Bool\r
7       at tcfail208.hs:3:6-40\r
8     In the expression: (return x == y)\r
9     In an equation for â€˜f’: f x y = (return x == y)\r