summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail046.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail046.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail046.stderr18
1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail046.stderr b/testsuite/tests/typecheck/should_fail/tcfail046.stderr
new file mode 100644
index 0000000000..1b668d07a6
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail046.stderr
@@ -0,0 +1,18 @@
+
+tcfail046.hs:10:50:
+ No instance for (Eq (Process a))
+ arising from the 'deriving' clause of a data type declaration
+ Possible fix:
+ add an instance declaration for (Eq (Process a))
+ or use a standalone 'deriving instance' declaration,
+ so you can specify the instance context yourself
+ When deriving the instance for (Eq (Continuation a))
+
+tcfail046.hs:22:25:
+ No instance for (Eq (Process a))
+ arising from the 'deriving' clause of a data type declaration
+ Possible fix:
+ add an instance declaration for (Eq (Process a))
+ or use a standalone 'deriving instance' declaration,
+ so you can specify the instance context yourself
+ When deriving the instance for (Eq (Message a))