#12382: Rename clashing type variables more consistently -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: feature request | Status: patch Priority: low | Milestone: Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2402 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Joachim Breitner <mail@…>): In [changeset:"18ac80ff729eb19ec370ead9f9275b3bc32c1f81/ghc" 18ac80ff/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="18ac80ff729eb19ec370ead9f9275b3bc32c1f81" tidyType: Rename variables of nested forall at once this refactoring commit prepares for fixing #12382, which can now be implemented soley in tidyTyCoVarBndrs. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12382#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler