#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