Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail208.stderr
1
2 tcfail208.hs:4:10: error:
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:1-40
8     • In the expression: (return x == y)
9       In an equation for ‘f’: f x y = (return x == y)