Add forgotten stderr output for T5498
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 10 Jan 2014 11:55:14 +0000 (11:55 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 10 Jan 2014 11:55:14 +0000 (11:55 +0000)
testsuite/tests/deriving/should_fail/T5498.stderr

index 0519ecb..8adde63 100644 (file)
@@ -1 +1,11 @@
\ No newline at end of file
+
+T5498.hs:30:39:
+    Could not coerce from ‛c a’ to ‛c (Down a)’
+      because ‛c a’ and ‛c (Down a)’ are different types.
+      arising from the coercion of the method ‛intIso’ from type
+                   ‛forall (c :: * -> *). c a -> c Int’ to type
+                   ‛forall (c :: * -> *). c (Down a) -> c Int’
+    Possible fix:
+      use a standalone 'deriving instance' declaration,
+        so you can specify the instance context yourself
+    When deriving the instance for (IntIso (Down a))