diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2015-11-11 12:31:55 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-11 12:32:05 +0100 |
| commit | 0f49508399a1fc145e17950ea1591da7f0de4f2a (patch) | |
| tree | 60cacb1e916a4f6591e2fbac6e0fca91407b1b96 /compiler/codeGen | |
| parent | fa61eddebf6f3ad5671c81f8bf0494e81332c4ec (diff) | |
| download | haskell-0f49508399a1fc145e17950ea1591da7f0de4f2a.tar.gz | |
Put kind variables before type variables when specializing
When you reverse the order of uniques you get the core lint
error from the testcase. The testcase is copied from
tests/simplCore/should_compile/T10689a.hs.
The problem is that we would put type and kind variables ordered by
unique order, which happened to be the right order for this testcase to
pass under normal conditions.
I think it's enough to sort them with `sortQuantVars`, but I'm not
really sure if some more sophisticated dependency analysis isn't needed.
Test Plan: added a new testcase
Reviewers: simonpj, goldfire, simonmar, austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1457
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions