diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-27 17:14:32 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-28 10:56:07 -0500 |
| commit | c662d41e2006f5a45619d40d2369b24642348f1a (patch) | |
| tree | bb7a771b5b21cbc2ca26d3536fce3f92ceaa4cda /mk | |
| parent | d0508ef001e9c93920f6eb066cab5e79041cb886 (diff) | |
| download | haskell-c662d41e2006f5a45619d40d2369b24642348f1a.tar.gz | |
Small changes to expression sizing in CoreUnfold
The only significant change here is that
case e of {}
should be treated like 'e', rather than like a case expression.
We don't push a return address, for example, since 'e' is sure to
diverge.
I forget why I did this; but it will make these empty-case expressions
(which are only there to satisfy the type checker) cost-free.
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3204
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions