summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T5481.stderr
blob: c88aecbca630913be9d2491db9400b56446f7ce1 (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