testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13


TH_overloaded_constraints_fail.hs:20:14: error:
    • Couldn't match type ‘Identity’ with ‘Q’
      Expected: Q Exp
        Actual: Identity Exp
    • In the expression: idQ
      In the expression:
        [| $(idQ) $(qq) |]
        pending(rn) [<spn, qq>, <spn, idQ>]
      In an equation for ‘quote’:
          quote
            = [| $(idQ) $(qq) |]
              pending(rn) [<spn, qq>, <spn, idQ>]