blob: f2f5250b0bc26319c690f57b99fab5e3006172a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T1897b.hs:16:1:
Could not deduce (Depend a ~ Depend a0)
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
Expected type: [Depend a] -> Bool
Actual type: [Depend a0] -> Bool
When checking that `isValid'
has the inferred type `forall a1. Bug a1 => [Depend a1] -> Bool'
Probable cause: the inferred type is ambiguous
|