• niteria's avatar
    Put kind variables before type variables when specializing · 0f495083
    niteria authored
    When you reverse the order of uniques you get the core lint
    error from the testcase. The testcase is copied from
    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
SpecConstr.hs 83.1 KB