diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2021-01-07 18:35:29 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-10 23:34:59 -0500 |
| commit | 1a220bcf704f6ce1404516a5b647246a20d34f6e (patch) | |
| tree | 77250a8b8386ce3d6eb5e6f86f1cefabdd6269cd /hadrian | |
| parent | 4bb957de6e32722d04f47ddd57b6010dbc7770d2 (diff) | |
| download | haskell-1a220bcf704f6ce1404516a5b647246a20d34f6e.tar.gz | |
WorkWrap: Use SysLocal Name for Thunk Splitting (#19180)
Since !4493 we annotate top-level bindings with demands, which leads to
novel opportunities for thunk splitting absent top-level thunks.
It turns out that thunk splitting wasn't quite equipped for that,
because it re-used top-level, `External` Names for local helper Ids.
That triggered a CoreLint error (#19180), reproducible with `T19180`.
Fixed by adjusting the thunk splitting code to produce `SysLocal` names
for the local bindings.
Fixes #19180.
Metric Decrease:
T12227
T18282
Diffstat (limited to 'hadrian')
0 files changed, 0 insertions, 0 deletions