blob: 6d7eb62e3072e19bfbe11a7e8599c57bb3dc27df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T1900.hs:13:10:
Could not deduce (Depend s0 ~ Depend s)
from the context (Bug s)
bound by the type signature for check :: Bug s => Depend s -> Bool
at T1900.hs:13:10-36
NB: `Depend' is a type function, and may not be injective
The type variable `s0' is ambiguous
Expected type: Depend s -> Bool
Actual type: Depend s0 -> Bool
In the ambiguity check for: forall s. Bug s => Depend s -> Bool
In the type signature for `check':
check :: Bug s => Depend s -> Bool
|