Renamer plugins could run after each group has been renamed
In discussion with Ben, he suggested that it might be possible for a renamer plugin to run after each group had been renamed. This would then make it possible to modify renamed bindings.
Currently, the interface for renamer plugins is quite strange and they run just before typechecker plugins in the implementation.
Trac metadata
Trac field | Value |
---|---|
Version | 8.4.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |