diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-03-29 12:41:59 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-03-29 12:42:05 +0200 |
| commit | 73935326e0cf85ed077b9ab7dd8f197d39e2cd5b (patch) | |
| tree | 722f436f497da36540c8d50c2c3ed3063fadb94a /compiler/utils/GraphOps.hs | |
| parent | aa611746aa860e1884c9ad623d6939791f2645ff (diff) | |
| download | haskell-73935326e0cf85ed077b9ab7dd8f197d39e2cd5b.tar.gz | |
Use a correct substitution in tcInstType
`ty` doesn't have to be a closed type, so we need to add its
free vars to the in-scope set. They don't seem to be
available anywhere nearby, so we have to compute them.
Test Plan: ./validate
Reviewers: goldfire, austin, bgamari, simonpj
Reviewed By: simonpj
Subscribers: thomie, simonmar
Differential Revision: https://phabricator.haskell.org/D2042
GHC Trac Issues: #11371
Diffstat (limited to 'compiler/utils/GraphOps.hs')
0 files changed, 0 insertions, 0 deletions