Re: [GHC] #15568: Kind variables in type family aren't quantified in toposorted order

#15568: Kind variables in type family aren't quantified in toposorted order -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.5 Resolution: | Keywords: | TypeApplications, TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5108 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Krzysztof Gogolewski ): In [changeset:"102284e72f8d29599803aa72ccec180db28e72c8/ghc" 102284e/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="102284e72f8d29599803aa72ccec180db28e72c8" Rename kind vars in left-to-right order in bindHsQTyVars 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 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15568#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler