Fold testsuite.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1897b.stderr
1
2 T1897b.hs:16:1:
3     Could not deduce (Depend a0 ~ Depend a)
4     from the context (Bug a)
5       bound by the inferred type for ‛isValid’:
6                  Bug a => [Depend a] -> Bool
7       at T1897b.hs:16:1-41
8     NB: ‛Depend’ is a type function, and may not be injective
9     The type variable ‛a0’ is ambiguous
10     Expected type: [Depend a] -> Bool
11       Actual type: [Depend a0] -> Bool
12     When checking that ‛isValid’
13       has the inferred type ‛forall a. Bug a => [Depend a] -> Bool’
14     Probable cause: the inferred type is ambiguous