Am Sonntag, dem 03.08.2025 um 17:25 +0200 schrieb Kai Prott: > Also just curious: why do you need to construct a unique? Before the > GHC renamer a plugin can get away with generating essentially strings > that are "unique" and use them in `mkUnqual` or similar. > > Most of the time, I just generate a `RdrName` with a prefix that would > not be allowed in source code with an incrementing suffix that I > manage myself. I have not checked if a plugin-generated name has to be > a valid Haskell name nowadays. However, it worked in the past.
I briefly considered this approach but then rejected it, because I couldn’t be sure that syntactically incorrect names are accepted and because there would be a slim possibility that another plugin picks names that my plugin picks. All the best, Wolfgang _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
