Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail181.stderr
1
2 tcfail181.hs:17:9: error:
3     • Could not deduce (Monad m0) arising from a use of ‘foo’
4       from the context: Monad m
5         bound by the inferred type of
6                  wog :: Monad m => t -> Something (m Bool) e
7         at tcfail181.hs:17:1-30
8       The type variable ‘m0’ is ambiguous
9       These potential instances exist:
10         instance Monad IO -- Defined in ‘GHC.Base’
11         instance Monad Maybe -- Defined in ‘GHC.Base’
12         instance Monad ((->) r) -- Defined in ‘GHC.Base’
13         ...plus two others
14         (use -fprint-potential-instances to see them all)
15     • In the expression: foo
16       In the expression: foo {bar = return True}
17       In an equation for ‘wog’: wog x = foo {bar = return True}