testsuite/tests/indexed-types/should_fail/T1897b.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14


T1897b.hs:16:1: error:
    • Couldn't match type: Depend a0
                     with: Depend a
      Expected: t (Depend a) -> Bool
        Actual: t (Depend a0) -> Bool
      NB: ‘Depend’ is a non-injective type family
      The type variable ‘a0’ is ambiguous
    • In the ambiguity check for the inferred type for ‘isValid’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the inferred type
        isValid :: forall {t :: * -> *} {a}.
                   (Foldable t, Bug a) =>
                   t (Depend a) -> Bool