diff options
| author | Tobias Dammers <tdammers@gmail.com> | 2018-09-13 09:56:02 +0200 |
|---|---|---|
| committer | Tobias Dammers <tdammers@gmail.com> | 2018-10-10 15:09:14 +0200 |
| commit | b7583b6650e2b6f9bb4742d182c503aad2827fc9 (patch) | |
| tree | abb4dd8fecbae9dc130968abcfdecffec5dd8eec /testsuite/tests/partial-sigs/should_compile/T15039d.stderr | |
| parent | b7f2ad3225ee79b4abac844edf7c5541dd001771 (diff) | |
| download | haskell-b7583b6650e2b6f9bb4742d182c503aad2827fc9.tar.gz | |
Close over kinds exactly once per var (#14880)
Summary:
As discussed in Trac:14880, comment:123, we have the issue that we want to
avoid processing the same var more than once. The original plan was to move
closing over kinds to the very end of the `tyCoVarsOfType` function, however,
this turns out to be inefficient and unnecessary.
Instead, we simply change the code in `ty_co_vars_of_type` such that
closing over kinds doesn't happen if we've already seen the var in question.
Test Plan: ./validate, nofib
Reviewers: simonpj, goldfire, bgamari
Subscribers: rwbarton, carter
GHC Trac Issues: #14880
Differential Revision: https://phabricator.haskell.org/D5147
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T15039d.stderr')
0 files changed, 0 insertions, 0 deletions