diff options
| author | Andrew Farmer <afarmer@ittc.ku.edu> | 2014-08-18 21:40:12 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-08-18 23:26:18 -0500 |
| commit | 5d5655e9911dba10088b66421e98165c6cb8176e (patch) | |
| tree | 536ef5960b4f8da22f45551430cf7f28b7f54d64 /compiler/parser | |
| parent | 5b11b0401fecc848fe0db1fc060593a6ee8a560c (diff) | |
| download | haskell-5d5655e9911dba10088b66421e98165c6cb8176e.tar.gz | |
Fix three problems with occurrence analysis on case alternatives.
Summary:
1. Respect condition (a) in Note [Binder swap]
2. Respect condition (b) in Note [Binder swap]
3. Return usage of any coercion variables in binder swap
Fixes T9440
Test Plan: See #9440
Reviewers: simonpj, austin
Reviewed By: simonpj, austin
Subscribers: simonpj, simonmar, relrod, ezyang, carter
Differential Revision: https://phabricator.haskell.org/D156
GHC Trac Issues: #9440
Diffstat (limited to 'compiler/parser')
0 files changed, 0 insertions, 0 deletions