diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-02 10:02:16 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-02 11:11:51 +0000 |
| commit | eb98c815dd173f0f9b2897aa672837d95dc97777 (patch) | |
| tree | 6b6d5aafd97156c5adffd790ad8e6cb091cfd145 /testsuite/tests/roles | |
| parent | a96f715f445c29cd649f02a0b4a9c0499ad13142 (diff) | |
| download | haskell-eb98c815dd173f0f9b2897aa672837d95dc97777.tar.gz | |
Update testsuite for nicer Coercible message
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles10.stderr | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles10.stderr b/testsuite/tests/roles/should_fail/Roles10.stderr index 9b466ff979..230f2c9c00 100644 --- a/testsuite/tests/roles/should_fail/Roles10.stderr +++ b/testsuite/tests/roles/should_fail/Roles10.stderr @@ -1,10 +1,9 @@ Roles10.hs:16:12: - No instance for (GHC.Types.Coercible Bool Char) + Could not coerce from ‛Bool’ to ‛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’ + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (C Age) |