summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T6018th.stderr
blob: 4579ea54c3bd1a08e35c826045b7808e44aa6bf2 (plain)
1
2
3
4
5

T6018th.hs:97:4:
    Type family equations violate injectivity annotation:
      H Int Int Int = Bool
      H Int Char Bool = Bool