blob: 5bb6ef1650feb8286bd3c4ba8fed45e22a6d66f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T1897b.hs:16:1:
Could not deduce (Depend a0 ~ Depend a)
from the context (Bug a)
bound by the inferred type for ‛isValid’:
Bug a => [Depend a] -> Bool
at T1897b.hs:16:1-41
NB: ‛Depend’ is a type function, and may not be injective
The type variable ‛a0’ is ambiguous
Expected type: [Depend a] -> Bool
Actual type: [Depend a0] -> Bool
When checking that ‛isValid’
has the inferred type ‛forall a. Bug a => [Depend a] -> Bool’
Probable cause: the inferred type is ambiguous
|