diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-03-29 12:42:16 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-03-29 12:42:17 +0200 |
| commit | a49228e3b6e3737da750bce59ec721b3b2f18eed (patch) | |
| tree | bf8937fe08b43e1d5c3aad9fc15cbbe82b14f9ef /docs | |
| parent | 73935326e0cf85ed077b9ab7dd8f197d39e2cd5b (diff) | |
| download | haskell-a49228e3b6e3737da750bce59ec721b3b2f18eed.tar.gz | |
Build correct substitution in instDFunType
We will use `ty` in the range of the substitution, hence
the substitution needs `ty`'s free vars in-scope.
They don't seem easily available by other means, so we
just compute them.
Test Plan: ./validate
Reviewers: austin, goldfire, bgamari, simonpj
Reviewed By: simonpj
Subscribers: thomie, simonmar
Differential Revision: https://phabricator.haskell.org/D2043
GHC Trac Issues: #11371
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions