blob: 767598e2b71de757d5df5b61aa8921a1fb3965b0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
tcfail142.hs:18:8:
Could not deduce (Bar a0 r)
arising from the ambiguity check for ‛bar’
from the context (Bar a r)
bound by the type signature for bar :: Bar a r => r -> ()
at tcfail142.hs:18:8-25
The type variable ‛a0’ is ambiguous
In the ambiguity check for: forall r a. Bar a r => r -> ()
In the type signature for ‛bar’: bar :: Bar a r => r -> ()
|