diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T7148a.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T7148a.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_fail/T7148a.stderr b/testsuite/tests/deriving/should_fail/T7148a.stderr index fa4a2dcb7b..00f875d30c 100644 --- a/testsuite/tests/deriving/should_fail/T7148a.stderr +++ b/testsuite/tests/deriving/should_fail/T7148a.stderr @@ -3,5 +3,6 @@ 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 Nominal + ‛coerce’, at type ‛forall b. + Proxy b -> a -> Result a b’, cannot be converted safely In the newtype declaration for ‛IS_NO_LONGER’ |