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/gadt | |
| parent | a96f715f445c29cd649f02a0b4a9c0499ad13142 (diff) | |
| download | haskell-eb98c815dd173f0f9b2897aa672837d95dc97777.tar.gz | |
Update testsuite for nicer Coercible message
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/CasePrune.stderr | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/gadt/CasePrune.stderr b/testsuite/tests/gadt/CasePrune.stderr index 220caacc19..7263461b3b 100644 --- a/testsuite/tests/gadt/CasePrune.stderr +++ b/testsuite/tests/gadt/CasePrune.stderr @@ -1,9 +1,10 @@ CasePrune.hs:14:31: - No instance for (GHC.Types.Coercible (T Int) (T A)) + Could not coerce from ‛T Int’ to ‛T A’ because the first type argument of ‛T’ has role Nominal, but the arguments ‛Int’ and ‛A’ differ - arising from a use of ‛GHC.Prim.coerce’ - In the expression: GHC.Prim.coerce (ic :: T Int) :: T A - In an equation for ‛ic’: ic = GHC.Prim.coerce (ic :: T Int) :: T A - In the instance declaration for ‛C A’ + 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 A) |