b83c7ffe7859f1266527505d4f087c13b59967e5
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1897b.stderr
1
2 T1897b.hs:16:1: error:
3     • Couldn't match type ‘Depend a’ with ‘Depend a0’
4       Expected type: t (Depend a) -> Bool
5         Actual type: t (Depend a0) -> Bool
6       NB: ‘Depend’ is a type function, and may not be injective
7       The type variable ‘a0’ is ambiguous
8     • In the ambiguity check for the inferred type for ‘isValid’
9       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
10       When checking the inferred type
11         isValid :: forall a (t :: * -> *).
12                    (Bug a, Foldable t) =>
13                    t (Depend a) -> Bool