Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1897b.stderr
1
2 T1897b.hs:16:1:
3     Couldn't match type ‘Depend a’ with ‘Depend a0’
4     NB: ‘Depend’ is a type function, and may not be injective
5     The type variable ‘a0’ is ambiguous
6     Expected type: t (Depend a) -> Bool
7       Actual type: t (Depend a0) -> Bool
8     When checking that ‘isValid’ has the inferred type
9       isValid :: forall a (t :: * -> *).
10                  (Foldable t, Bug a) =>
11                  t (Depend a) -> Bool
12     Probable cause: the inferred type is ambiguous