diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-06-03 15:15:57 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-06-11 20:00:37 +0200 |
| commit | 5e66a698dae8c01bcd1a9335346145b32016e119 (patch) | |
| tree | fbb6b45c5ec7051856d9af1b1e9da0c81aba3a8e /testsuite/tests/gadt/all.T | |
| parent | 6cefeb373e13c25f6c8c1d08975e14a8655f0bc9 (diff) | |
| download | haskell-5e66a698dae8c01bcd1a9335346145b32016e119.tar.gz | |
Testsuite: change some expect_fail tests to expect_broken
Change the following tests from expect_fail to expect_broken: and list
the ticket number:
* driver/sigof03m/sigof03 (#9252)
* driver/static001 (#8127)
* partial-sigs/should_compile/EqualityConstraint (#9478)
* partial-sigs/should_compile/ExtraNumAMROn (#9478)
* partial-sigs/should_compile/PatBind2 (#9478)
* partial-sigs/should_fail/TidyClash2 (#9478)
* simplCore/should_compile/T8832 (#8832)
The following tests are still marked as expect_fail, but it is not
clearly documented why so:
* gadt/lazypatok
* indexed-types/should_fail/SkolemOccursLoop
All other expect_fail tests are only expected to fail on either a
certain platform/os or for a certain way only.
Differential Revision: https://phabricator.haskell.org/D966
Diffstat (limited to 'testsuite/tests/gadt/all.T')
| -rw-r--r-- | testsuite/tests/gadt/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index cbbc0fc722..c3d35bc02a 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -46,6 +46,8 @@ test('nbe', normal, compile, ['']) test('while', normal, compile_and_run, ['']) test('rw', normal, compile_fail, ['']) test('lazypat', normal, compile_fail, ['']) +# Not marked as expect_broken, because it's not clear whether this test should +# succeed or fail. test('lazypatok', expect_fail, compile, ['']) test('tc', normal, compile_and_run, ['']) test('arrow', normal, compile, ['']) |