tidyType: Rename variables of nested forall at once
this refactoring commit prepares for fixing Trac #12382, which can now be
implemented soley in tidyTyCoVarBndrs.
|nomeata||Jul 13 2016, 4:45 AM|
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.