diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-03-23 22:44:12 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-24 23:31:44 -0400 |
| commit | aa99f516431745c5b9261db56a5ef4a3b333ce8c (patch) | |
| tree | b4bb0dfefec61b4471d0797a860c5ea55252f852 /hadrian | |
| parent | 5483b1a4f183026aab475da59d010d579c036592 (diff) | |
| download | haskell-aa99f516431745c5b9261db56a5ef4a3b333ce8c.tar.gz | |
Fix the binder-swap transformation in OccurAnal
The binder-swap transformation needs to be iterated, as shown
by #19581. The fix is pretty simple, and is explained in
point (BS2) of Note [The binder-swap substitution].
Net effect:
- sometimes, fewer simplifier iterations
- sometimes, more case merging
Diffstat (limited to 'hadrian')
0 files changed, 0 insertions, 0 deletions