Skip to content
  • Ryan Scott's avatar
    Rename kind vars in left-to-right order in bindHsQTyVars · 102284e7
    Ryan Scott authored and Krzysztof Gogolewski's avatar Krzysztof Gogolewski committed
    Summary:
    When renaming kind variables in an `LHsQTyVars`, we were
    erroneously putting all of the kind variables in the binders
    //after// the kind variables in the body, resulting in #15568. The
    fix is simple: just swap the order of these two around.
    
    Test Plan: make test TEST=T15568
    
    Reviewers: simonpj, bgamari, goldfire
    
    Reviewed By: goldfire
    
    Subscribers: goldfire, rwbarton, carter
    
    GHC Trac Issues: #15568
    
    Differential Revision: https://phabricator.haskell.org/D5108
    102284e7