diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-21 09:13:06 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-22 17:54:12 +0000 |
| commit | 4a2e4a73daeb35905e23e31d2fa7eb9a19c45f62 (patch) | |
| tree | e62b5888ff957962a47707580302b2ed35270e0c /testsuite/tests/roles | |
| parent | d5442607ceb128e5f684c332aec93fd2ec138781 (diff) | |
| download | haskell-4a2e4a73daeb35905e23e31d2fa7eb9a19c45f62.tar.gz | |
Coercible-base GND: update error messages
(unfortunately, not to the better, these might need some more
massaging.)
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles10.stderr | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles10.stderr b/testsuite/tests/roles/should_fail/Roles10.stderr index 76c0c0d63d..9b466ff979 100644 --- a/testsuite/tests/roles/should_fail/Roles10.stderr +++ b/testsuite/tests/roles/should_fail/Roles10.stderr @@ -1,7 +1,10 @@ Roles10.hs:16:12: - Can't make a derived instance of ‛C Age’ - (even with cunning newtype deriving): - it is not type-safe to use GeneralizedNewtypeDeriving on this class; - ‛meth’, at type ‛a -> F a’, cannot be converted safely - In the newtype declaration for ‛Age’ + No instance for (GHC.Types.Coercible Bool Char) + because ‛Bool’ and ‛Char’ are different types. + arising from a use of ‛GHC.Prim.coerce’ + In the expression: + GHC.Prim.coerce (meth :: Int -> F Int) :: Age -> F Age + In an equation for ‛meth’: + meth = GHC.Prim.coerce (meth :: Int -> F Int) :: Age -> F Age + In the instance declaration for ‛C Age’ |