summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_compile/T14066a.stderr
blob: 906695f3f7f3c674ac44e85310082d27061fcdd8 (plain)
1
2
3
4
5

T14066a.hs:13:3: warning:
    Type family instance equation is overlapped:
      forall c d (x :: c) (y :: d).
        Bar x y = Bool -- Defined at T14066a.hs:13:3