summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/drvfail011.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/deriving/should_fail/drvfail011.stderr')
-rw-r--r--testsuite/tests/deriving/should_fail/drvfail011.stderr10
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/drvfail011.stderr b/testsuite/tests/deriving/should_fail/drvfail011.stderr
new file mode 100644
index 0000000000..80e486628b
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/drvfail011.stderr
@@ -0,0 +1,10 @@
+
+drvfail011.hs:8:1:
+ No instance for (Eq a)
+ arising from a use of `=='
+ In the expression: ((a1 == b1))
+ In an equation for `==': == (T1 a1) (T1 b1) = ((a1 == b1))
+ When typechecking the code for `=='
+ in a standalone derived instance for `Eq (T a)':
+ To see the code I am typechecking, use -ddump-deriv
+ In the instance declaration for `Eq (T a)'