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