diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail181.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail181.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail181.stderr b/testsuite/tests/typecheck/should_fail/tcfail181.stderr index f878123949..887c65f574 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail181.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail181.stderr @@ -6,11 +6,10 @@ tcfail181.hs:17:9: error: wog :: Monad m => p -> Something (m Bool) e at tcfail181.hs:17:1-30 The type variable ‘m0’ is ambiguous - These potential instances exist: + Potentially matching instances: instance Monad IO -- Defined in ‘GHC.Base’ instance Monad Maybe -- Defined in ‘GHC.Base’ - instance Monad ((->) r) -- Defined in ‘GHC.Base’ - ...plus N others + ...plus six others ...plus one instance involving out-of-scope types (use -fprint-potential-instances to see them all) • In the expression: foo |