summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/T7148a.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T7148a.stderr')
-rw-r--r--testsuite/tests/deriving/should_fail/T7148a.stderr7
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr
new file mode 100644
index 0000000000..f2a938c0a7
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T7148a.stderr
@@ -0,0 +1,7 @@
+
+T7148a.hs:19:50:
+ Can't make a derived instance of ‛Convert (IS_NO_LONGER a)’
+ (even with cunning newtype deriving):
+ it is not type-safe to use GeneralizedNewtypeDeriving on this class;
+ the last parameter of ‛Convert’ is at role N
+ In the newtype declaration for ‛IS_NO_LONGER’