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