[GHC] #12382: Rename clasing type variables more consistently

[GHC]

#12382: Rename clasing type variables more consistently
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  feature request   |               Status:  new
        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):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 I am having a hard time finding the place where the renaming happens. If
 that code looks at the type (or at least all type variables bound
 together) as a whole this might be quite easy. If it just adds one
 variable by another, without being able to rename the existing ones, it
 might be hard.

 Can someone point me to the rough area of the code?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12382#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler