#12382: Rename clashing type variables more consistently -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: feature request | Status: closed Priority: low | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: fixed | 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: | -------------------------------------+------------------------------------- Changes (by thomie): * status: patch => closed * resolution: => fixed * milestone: => 8.2.1 Comment: commit cd0750ec96fba9b1683b25954092439c0f267fd7 {{{ Author: Joachim Breitner <mail@joachim-breitner.de> Date: Tue Jul 12 17:21:07 2016 +0200 tidyOccNames: Rename variables fairly So that > :t (id,id,id) produces (id,id,id) :: (a3 -> a3, a2 -> a2, a1 -> a1) instead of (id,id,id) :: (a2 -> a2, a1 -> a1, a -> a) Differential Revision: https://phabricator.haskell.org/D2402 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12382#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler