diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2022-10-01 13:53:55 +0200 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2022-10-17 10:04:24 +0200 |
| commit | c8aeb4e3692c0934bdb1b8ca47c4abf7be24d5ce (patch) | |
| tree | e8f83988b344627a738eccc813fe5d596cd94e1a /testsuite/tests/stranal/sigs/all.T | |
| parent | 2209665273135644f1b52470ea2cb53169f2ef91 (diff) | |
| download | haskell-wip/T22241.tar.gz | |
DmdAnal: Look through unfoldings of DataCon wrappers (#22241)wip/T22241
Previously, the demand signature we computed upfront for a DataCon wrapper
lacked boxity information and was much less precise than the demand transformer
for the DataCon worker.
In this patch we adopt the solution to look through unfoldings of DataCon
wrappers during Demand Analysis, but still attach a demand signature for other
passes such as the Simplifier.
See `Note [DmdAnal for DataCon wrappers]` for more details.
Fixes #22241.
Diffstat (limited to 'testsuite/tests/stranal/sigs/all.T')
| -rw-r--r-- | testsuite/tests/stranal/sigs/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/stranal/sigs/all.T b/testsuite/tests/stranal/sigs/all.T index 73ecf7be57..01ea48cfe8 100644 --- a/testsuite/tests/stranal/sigs/all.T +++ b/testsuite/tests/stranal/sigs/all.T @@ -37,3 +37,4 @@ test('T21717', normal, compile, ['']) test('T21754', normal, compile, ['']) test('T21888', normal, compile, ['']) test('T21888a', normal, compile, ['']) +test('T22241', normal, compile, ['']) |