[GHC] #12382: Rename clashing type variables more consistently
GHC
ghc-devs at haskell.org
Mon Jul 18 10:08:15 UTC 2016
#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 at 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
More information about the ghc-tickets
mailing list