Generating fresh names in a source plugin

[Wolfgang Jeltsch]

Am Montag, dem 04.08.2025 um 23:18 +0100 schrieb Simon Peyton Jones:
> 
> > you can’t reliably tell what tags GHC uses and what tags it may use
> > in the future. In the end, I used `grep` and my own eyes to check
> > potentially the whole GHC codebase for tag use.
> 
> Indeed this is bad.  Can you record the list of tags you discovered,
> and where they are born, in #26264?

If I’d only remember what they were. I think I remember at least how I
performed this check. I may perform it again once I’ll find the time.

All the best,
Wolfgang