Modified error output and new tests for PolyKinds commit
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail208.stderr
1
2 tcfail208.hs:4:19:
3     Could not deduce (Eq (m a)) arising from a use of `=='
4     from the context (Monad m, Eq a)
5       bound by the type signature for
6                  f :: (Monad m, Eq a) => a -> m a -> Bool
7       at tcfail208.hs:3:6-40
8     Possible fix:
9       add (Eq (m a)) to the context of
10         the type signature for f :: (Monad m, Eq a) => a -> m a -> Bool
11       or add an instance declaration for (Eq (m a))
12     In the expression: (return x == y)
13     In an equation for `f': f x y = (return x == y)