blob: d76db558c6e8f540bb02cdfa6a012fb101128b21 (
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 type: Q Exp
Actual type: 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>]
|