diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-24 16:55:36 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-24 16:55:36 +0000 |
| commit | 002192aa8df463ae945e8a94147cfc1d848f43a5 (patch) | |
| tree | 9f3201ede88f770cc78ee7bc9670eb94a9823432 /libffi | |
| parent | 323b7fa47abb26f1ea869db27cc7714673d82900 (diff) | |
| download | haskell-wip/spj-early-inline2.tar.gz | |
Fix a nasty bug in CoreSubst.collectBindersPushingCowip/spj-early-inline2
The bug wsa in the use of (mkNthCo 0) to get the argument
part of a function coercion. Not so! Now (->) takes four
arguments so that 0 should have been 2.
Enough with magic numbers. I defined decomposeFunCo, and used
it throughout. Much nicer now; and correct.
The nete effect, incidentally, was that T9509 was failing to
specialise. (And that was the initial reason for introducing
collectBindersPushingCo in the first place.)
Diffstat (limited to 'libffi')
0 files changed, 0 insertions, 0 deletions