diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-06-02 17:09:43 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-14 15:35:23 -0400 |
| commit | 9a7462fb6b8bdd6326a607bbd7b9453eb588193b (patch) | |
| tree | 8300a7c5da0b49c63b81946bf94b3f8c4efc3d59 /docs/users_guide/flags.py | |
| parent | c0e6dee99242eff08420176a36d77b715972f1f2 (diff) | |
| download | haskell-9a7462fb6b8bdd6326a607bbd7b9453eb588193b.tar.gz | |
codeGen: Don't discard live case binders in unsafeEqualityProof logic
Previously CoreToStg would unconditionally discard cases of the form:
case unsafeEqualityProof of wild { _ -> rhs }
and rather replace the whole thing with `rhs`. However, in some cases
(see #18227) the case binder is still live, resulting in unbound
occurrences in `rhs`. Fix this by only discarding the case if the case
binder is dead.
Fixes #18227.
Diffstat (limited to 'docs/users_guide/flags.py')
0 files changed, 0 insertions, 0 deletions