summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr')
-rw-r--r--testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr13
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr b/testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr
new file mode 100644
index 0000000000..d76db558c6
--- /dev/null
+++ b/testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr
@@ -0,0 +1,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>]