Rename clashing type variables more consistently
This is minor polishing, but polish is nice:
Consider
:t (id,id,id)
(id,id,id) :: (a -> a, a1 -> a1, a2 -> a2)this looks as if the first a is in some way better or more important. What I’d like to see is
:t (id,id,id)
(id,id,id) :: (a1 -> a2, a2 -> a2, a3 -> a3)In other words: If two type variables clash and need to be renamed, then rename both (all) of them.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Edited by Joachim Breitner