diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-03-29 12:42:32 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-03-29 12:42:33 +0200 |
| commit | 4a93e4f9a86a62d1cdf2e666f977b8b58e61eaaf (patch) | |
| tree | 196d0854b6f6feb0eeba73ca5ca56a461ac55b4a /compiler/codeGen | |
| parent | a49228e3b6e3737da750bce59ec721b3b2f18eed (diff) | |
| download | haskell-4a93e4f9a86a62d1cdf2e666f977b8b58e61eaaf.tar.gz | |
Use the correct substitution in lintCoercion
We need the free vars of `t2` to satisfy the substitution
invariant. Luckily they are in the in-scope carried around.
Test Plan: ./validate
Reviewers: bgamari, austin, goldfire, simonpj
Reviewed By: simonpj
Subscribers: thomie, simonmar
Differential Revision: https://phabricator.haskell.org/D2044
GHC Trac Issues: #11371
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions