diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-03-23 22:44:12 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2021-03-24 10:51:05 +0000 |
commit | b7f5f8b54ab8fe3665ec2282b6b1403d5483cf0b (patch) | |
tree | deaec0fc44d84af02284e03dfb24f79f933c30b3 /install-sh | |
parent | 25306ddc00c2236564bcfebd55a3f61ffa6d182e (diff) | |
download | haskell-wip/T19581.tar.gz |
Fix the binder-swap transformation in OccurAnalwip/T19581
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 'install-sh')
0 files changed, 0 insertions, 0 deletions