summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr
blob: ecbd7d9e7979db055d6b487fed6ff107673c341d (plain)
1
2
3
4
5
6
7
8

ExplicitForAllFams4a.hs:7:12: error:
    • Explicitly quantified but not used in LHS pattern: type variable ‘b’
    • In the type family declaration for ‘H’

ExplicitForAllFams4a.hs:8:10: error:
    • Explicitly quantified but not used in LHS pattern: type variable ‘b’
    • In the type family declaration for ‘H’