tidyType: Rename variables of nested forall at once

Authored by nomeata on Jul 12 2016, 9:52 AM.

Description

tidyType: Rename variables of nested forall at once

this refactoring commit prepares for fixing Trac #12382, which can now be
implemented soley in tidyTyCoVarBndrs.

Details

Auditors
rwbarton
Committed
nomeataJul 13 2016, 4:45 AM
Differential Revision
D2402: Rename type variables fairly
Parents
rGHC45d8f4eb2bf2: Demand analyser: Implement LetUp rule (#12370)
Branches
Unknown
Tags
Unknown
rwbarton raised a concern with this commit.Apr 30 2017, 12:00 AM
rwbarton added a subscriber: rwbarton.
rwbarton added inline comments.
/compiler/basicTypes/OccName.hs
826–827

This function is actually not used anywhere. I would just delete it, but in HEAD there is a Note [Tidying multiple names at once] which mentions this function and it's unclear to me what to do about the Note.

This commit now has outstanding concerns.Apr 30 2017, 12:00 AM
nomeata added a comment.EditedApr 30 2017, 2:31 AM

Quite right, cleanup patch at https://phabricator.haskell.org/D3511

rwbarton accepted this commit.Apr 30 2017, 11:31 PM

Thanks Joachim!

All concerns with this commit have now been addressed.Apr 30 2017, 11:31 PM