blob: 965b4417350278a21048d47fc1101ff052e3e1ec (
plain)
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) [<splice, qq>, <splice, idQ>]
In an equation for ‘quote’:
quote
= [| $(idQ) $(qq) |]
pending(rn) [<splice, qq>, <splice, idQ>]
|