blob: 1c5413e4b2dfae566f7f4ebffd9aab3647b1f3f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T1897a.hs:9:1: error: [GHC-39999]
• Could not deduce ‘Wob a0 b’
from the context: Wob a b
bound by the inferred type for ‘foo’:
forall {a} {b}. Wob a b => b -> [b]
at T1897a.hs:9:1-24
The type variable ‘a0’ is ambiguous
• In the ambiguity check for the inferred type for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
foo :: forall {a} {b}. Wob a b => b -> [b]
|
