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