blob: 83a76daf309b45903ef056f8d2cc77c0c7f47fae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
tcfail116.hs:7:5: error:
• Could not deduce (Foo a0)
from the context: Foo a
bound by the type signature for:
bug :: forall a. Foo a => ()
at tcfail116.hs:7:5-13
The type variable ‘a0’ is ambiguous
• In the ambiguity check for ‘bug’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method: bug :: forall a. Foo a => ()
In the class declaration for ‘Foo’
|