diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-01-10 11:55:14 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-01-10 11:55:14 +0000 |
| commit | ad233cf68ea436c84e931c5bdb9f803308708e09 (patch) | |
| tree | 729ce0cc23e4f7a7ed7f96fae37a973d333e8d23 | |
| parent | d154b7be262fd0a3a415ca6256a9bcc80e4ce6da (diff) | |
| download | haskell-ad233cf68ea436c84e931c5bdb9f803308708e09.tar.gz | |
Add forgotten stderr output for T5498
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T5498.stderr | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_fail/T5498.stderr b/testsuite/tests/deriving/should_fail/T5498.stderr index 0519ecba6e..8adde63a98 100644 --- a/testsuite/tests/deriving/should_fail/T5498.stderr +++ b/testsuite/tests/deriving/should_fail/T5498.stderr @@ -1 +1,11 @@ -
\ No newline at end of file + +T5498.hs:30:39: + Could not coerce from ‛c a’ to ‛c (Down a)’ + because ‛c a’ and ‛c (Down a)’ are different types. + arising from the coercion of the method ‛intIso’ from type + ‛forall (c :: * -> *). c a -> c Int’ to type + ‛forall (c :: * -> *). c (Down a) -> c Int’ + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (IntIso (Down a)) |