Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail142.stderr
1 \r
2 tcfail142.hs:18:8:\r
3     Could not deduce (Bar a0 r)\r
4     from the context (Bar a r)\r
5       bound by the type signature for: bar :: Bar a r => r -> ()\r
6       at tcfail142.hs:18:8-25\r
7     The type variable ‘a0’ is ambiguous\r
8     In the ambiguity check for the type signature for ‘bar’:\r
9       bar :: forall r a. Bar a r => r -> ()\r
10     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
11     In the type signature for ‘bar’: bar :: Bar a r => r -> ()\r