Generating fresh names in a source plugin

[Wolfgang Jeltsch]

Am Dienstag, dem 05.08.2025 um 17:18 +0300 schrieb 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.

I pretended that I had time immediately and searched again. The results
are at https://gitlab.haskell.org/ghc/ghc/-/issues/26264#note_630286 and
in the follow-up comments of mine.

All the best,
Wolfgang