diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail181.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail181.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail181.stderr b/testsuite/tests/typecheck/should_fail/tcfail181.stderr index 5f272da112..905a523174 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail181.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail181.stderr @@ -1,16 +1,16 @@ tcfail181.hs:17:9: - Could not deduce (Monad m0) arising from a use of ‛foo’ + Could not deduce (Monad m0) arising from a use of ‘foo’ from the context (Monad m) bound by the inferred type of wog :: Monad m => t -> Something (m Bool) e at tcfail181.hs:17:1-30 - The type variable ‛m0’ is ambiguous + The type variable ‘m0’ is ambiguous Note: there are several potential instances: - instance Monad ((->) r) -- Defined in ‛GHC.Base’ - instance Monad IO -- Defined in ‛GHC.Base’ - instance Monad [] -- Defined in ‛GHC.Base’ + instance Monad ((->) r) -- Defined in ‘GHC.Base’ + instance Monad IO -- Defined in ‘GHC.Base’ + instance Monad [] -- Defined in ‘GHC.Base’ ...plus one other In the expression: foo In the expression: foo {bar = return True} - In an equation for ‛wog’: wog x = foo {bar = return True} + In an equation for ‘wog’: wog x = foo {bar = return True} |