diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-13 15:12:27 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-13 23:34:55 -0400 |
| commit | 8ee6162e9a3377cd4c79f49b63f92046b0d5c708 (patch) | |
| tree | 99eda4f5261f8398865a745e225d2a2eef5e43a5 /testsuite/tests/deriving | |
| parent | 59722295bb8da8f01d37356fbed6aef7321a8195 (diff) | |
| download | haskell-8ee6162e9a3377cd4c79f49b63f92046b0d5c708.tar.gz | |
Recharacterize test according to discussion in #8851.
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T8851.hs (renamed from testsuite/tests/deriving/should_compile/T8851.hs) | 0 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T8851.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/all.T | 3 |
4 files changed, 14 insertions, 2 deletions
diff --git a/testsuite/tests/deriving/should_compile/all.T b/testsuite/tests/deriving/should_compile/all.T index b34290f2c4..cc4115c8db 100644 --- a/testsuite/tests/deriving/should_compile/all.T +++ b/testsuite/tests/deriving/should_compile/all.T @@ -44,6 +44,5 @@ test('AutoDeriveTypeable', normal, compile, ['']) test('T8138', reqlib('primitive'), compile, ['-O2']) test('T8631', normal, compile, ['']) test('T8758', extra_clean(['T8758a.o', 'T8758a.hi']), multimod_compile, ['T8758a', '-v0']) -test('T8851', expect_broken(8851), compile, ['']) test('T8678', normal, compile, ['']) test('T8865', normal, compile, ['']) diff --git a/testsuite/tests/deriving/should_compile/T8851.hs b/testsuite/tests/deriving/should_fail/T8851.hs index 84f0ad4ac1..84f0ad4ac1 100644 --- a/testsuite/tests/deriving/should_compile/T8851.hs +++ b/testsuite/tests/deriving/should_fail/T8851.hs diff --git a/testsuite/tests/deriving/should_fail/T8851.stderr b/testsuite/tests/deriving/should_fail/T8851.stderr new file mode 100644 index 0000000000..348f1f1714 --- /dev/null +++ b/testsuite/tests/deriving/should_fail/T8851.stderr @@ -0,0 +1,12 @@ + +T8851.hs:24:12: + Could not coerce from ‘Monad Parser’ to ‘Monad MyParser’ + because the first type argument of ‘Monad’ has role Nominal, + but the arguments ‘Parser’ and ‘MyParser’ differ + arising from the coercion of the method ‘notFollowedBy’ from type + ‘forall a. (Monad Parser, Show a) => Parser a -> Parser ()’ to type + ‘forall a. (Monad MyParser, Show a) => MyParser a -> MyParser ()’ + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (Parsing MyParser) diff --git a/testsuite/tests/deriving/should_fail/all.T b/testsuite/tests/deriving/should_fail/all.T index 1ffa5fc466..d503b6e266 100644 --- a/testsuite/tests/deriving/should_fail/all.T +++ b/testsuite/tests/deriving/should_fail/all.T @@ -48,4 +48,5 @@ test('T7148', normal, compile_fail, ['']) test('T7148a', normal, compile_fail, ['']) test('T7800', normal, multimod_compile_fail, ['T7800','']) test('T5498', normal, compile_fail, ['']) -test('T6147', normal, compile_fail, [''])
\ No newline at end of file +test('T6147', normal, compile_fail, ['']) +test('T8851', normal, compile_fail, ['']) |