diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-10-21 13:04:47 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-10-23 09:23:24 -0400 |
| commit | 99cd277c181dfb346d5f2d5fc9475379229037d0 (patch) | |
| tree | a2221e8545ba06078bf9ed7e09e5a47347360ed9 /testsuite/tests/deriving | |
| parent | c43dd9731850df270f98fb37119e935f0fa89735 (diff) | |
| download | haskell-99cd277c181dfb346d5f2d5fc9475379229037d0.tar.gz | |
Update tests to reflect new check for GeneralizedNewtypeDeriving
Diffstat (limited to 'testsuite/tests/deriving')
5 files changed, 10 insertions, 5 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’ diff --git a/testsuite/tests/deriving/should_fail/T2721.stderr b/testsuite/tests/deriving/should_fail/T2721.stderr index 710b933637..0e5d764488 100644 --- a/testsuite/tests/deriving/should_fail/T2721.stderr +++ b/testsuite/tests/deriving/should_fail/T2721.stderr @@ -4,5 +4,5 @@ T2721.hs:15:28: (even with cunning newtype deriving): the class has associated types it is not type-safe to use GeneralizedNewtypeDeriving on this class; - the last parameter of ‛C’ is at role Nominal + ‛foo’, at type ‛a -> T a’, cannot be converted safely In the newtype declaration for ‛N’ diff --git a/testsuite/tests/deriving/should_fail/T4846.stderr b/testsuite/tests/deriving/should_fail/T4846.stderr index beb765375a..0edb2083cd 100644 --- a/testsuite/tests/deriving/should_fail/T4846.stderr +++ b/testsuite/tests/deriving/should_fail/T4846.stderr @@ -3,5 +3,5 @@ T4846.hs:29:1: Can't make a derived instance of ‛B BOOL’ (even with cunning newtype deriving): it is not type-safe to use GeneralizedNewtypeDeriving on this class; - the last parameter of ‛B’ is at role Nominal + ‛mkExpr’, at type ‛Expr a’, cannot be converted safely In the stand-alone deriving instance for ‛B BOOL’ diff --git a/testsuite/tests/deriving/should_fail/T7148.stderr b/testsuite/tests/deriving/should_fail/T7148.stderr index 748ef08c68..a57dbef8ce 100644 --- a/testsuite/tests/deriving/should_fail/T7148.stderr +++ b/testsuite/tests/deriving/should_fail/T7148.stderr @@ -3,5 +3,8 @@ T7148.hs:27:40: Can't make a derived instance of ‛IsoUnit (Tagged a b)’ (even with cunning newtype deriving): it is not type-safe to use GeneralizedNewtypeDeriving on this class; - the last parameter of ‛IsoUnit’ is at role Nominal + ‛iso1’, at type ‛forall b. + SameType () b -> SameType a b’, cannot be converted safely + ‛iso2’, at type ‛forall b. + SameType b () -> SameType b a’, cannot be converted safely In the newtype declaration for ‛Tagged’ 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’ |