diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T1496.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T1496.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_fail/T1496.stderr b/testsuite/tests/deriving/should_fail/T1496.stderr index cc4cdc2760..b24ef69a7c 100644 --- a/testsuite/tests/deriving/should_fail/T1496.stderr +++ b/testsuite/tests/deriving/should_fail/T1496.stderr @@ -3,5 +3,6 @@ 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 Nominal + ‛isInt’, at type ‛forall (c :: * -> *). + c Int -> c t’, cannot be converted safely In the newtype declaration for ‛Moo’ |