summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T5481.stderr
blob: 931c3e04202b5d582d0de71a7b0e3914af54e40d (plain)
1
2
3
4
5
6
7
8

T5481.hs:6:10:
    The RHS of an associated type declaration mentions type variable ‛b’
      All such variables must be bound on the LHS

T5481.hs:8:10:
    The RHS of an associated type declaration mentions type variable ‛a’
      All such variables must be bound on the LHS