Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1897b.stderr
1 \r
2 T1897b.hs:16:1:\r
3     Could not deduce (Depend a0 ~ Depend a)\r
4     from the context (Bug a)\r
5       bound by the inferred type for `isValid':\r
6                  Bug a => [Depend a] -> Bool\r
7       at T1897b.hs:16:1-41\r
8     NB: `Depend' is a type function, and may not be injective\r
9     The type variable `a0' is ambiguous\r
10     Expected type: [Depend a] -> Bool\r
11       Actual type: [Depend a0] -> Bool\r
12     When checking that `isValid'\r
13       has the inferred type `forall a. Bug a => [Depend a] -> Bool'\r
14     Probable cause: the inferred type is ambiguous\r