blob: bb4a160d49e79c2bd53df11f0c72a8172aaa945a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T1900.hs:8:3: error:
• Couldn't match type: Depend s0
with: Depend s
Expected: Depend s -> Depend s
Actual: Depend s0 -> Depend s0
NB: ‘Depend’ is a non-injective type family
The type variable ‘s0’ is ambiguous
• In the ambiguity check for ‘trans’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
trans :: forall s. Bug s => Depend s -> Depend s
In the class declaration for ‘Bug’
|
