OccName: Avoid re-encoding OccNames
Previously we would form derived OccNames by first decoding the name being derived from, manipulating it in [Char] form, and then re-encoding. This is all very wasteful as we essentially always just want to concatenate.
Loading
Please register or sign in to comment