diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-03-25 13:49:14 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-02 01:46:34 -0400 |
| commit | 42d68364f66846969edf029f878875c10cdfe0b2 (patch) | |
| tree | f84ad0c7e595f753055a61a14dfcc9759b1d963a /testsuite/tests/stranal/should_run/all.T | |
| parent | b943b25d0786da64031ac63ddf9b4574182057bb (diff) | |
| download | haskell-42d68364f66846969edf029f878875c10cdfe0b2.tar.gz | |
Preserve precise exceptions in strictness analysis
Fix #13380 and #17676 by
1. Changing `raiseIO#` to have `topDiv` instead of `botDiv`
2. Give it special treatment in `Simplifier.Util.mkArgInfo`, treating it
as if it still had `botDiv`, to recover dead code elimination.
This is the first commit of the plan outlined in
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2525#note_260886.
Diffstat (limited to 'testsuite/tests/stranal/should_run/all.T')
| -rw-r--r-- | testsuite/tests/stranal/should_run/all.T | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/stranal/should_run/all.T b/testsuite/tests/stranal/should_run/all.T index 278b91b292..d822e482dd 100644 --- a/testsuite/tests/stranal/should_run/all.T +++ b/testsuite/tests/stranal/should_run/all.T @@ -19,7 +19,8 @@ test('T11076', normal, multimod_compile_and_run, ['T11076.hs', 'T11076_prim.cmm' test('T11555a', normal, compile_and_run, ['']) test('T12368', exit_code(1), compile_and_run, ['']) test('T12368a', exit_code(1), compile_and_run, ['']) -test('T13380', [expect_broken(13380), exit_code(1)], compile_and_run, ['']) +test('T13380', exit_code(1), compile_and_run, ['']) test('T14171', [expect_broken(14171), exit_code(1)], compile_and_run, ['']) test('T14290', normal, compile_and_run, ['']) test('T14285', normal, multimod_compile_and_run, ['T14285', '']) +test('T17676', normal, compile_and_run, ['']) |