Generating fresh names in a source plugin

Wolfgang Jeltsch <[email protected]> Sat, 02 Aug 2025 16:01:09 +0300

Newsgroups	gmane.comp.lang.haskell.glasgow.user
Organization	Well-Typed LLP
Message-ID	<[email protected]>

SGVsbG8hCgpJIHdhbnQgdG8gZ2VuZXJhdGUgQVNUIGZyYWdtZW50cyBpbiBhIHNvdXJjZSBwbHVn
aW4sIGFuZCBmb3IgdGhpcyBJIG5lZWQKdG8gZ2VuZXJhdGUgZnJlc2ggKGxvY2FsKSBuYW1lcy4g
TXkgY3VycmVudCBhcHByb2FjaCBpcyB0byB1c2UKYG1rU3lzdGVtTmFtZWAsIGJ1dCBpdCwgbGlr
ZSBtYW55IG9mIHRoZSBvdGhlciBuYW1lLWdlbmVyYXRpbmcKb3BlcmF0aW9ucywgbmVlZHMgYSB2
YWx1ZSBvZiB0eXBlIGBVbmlxdWVgLiBIb3cgY2FuIEkgZ2VuZXJhdGUgc3VjaAp2YWx1ZXM/IEl0
IHNlZW1zIHRoYXQgdGhlIGBIc2NgIG1vbmFkIGRvZXNu4oCZdCBjYXJyeSBhIHZhbHVlIG9mIHR5
cGUgCmBVbmlxdWVTdXBwbHlgIHdpdGggaXQuCgpBbGwgdGhlIGJlc3QsCldvbGZnYW5nCl9fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkdsYXNnb3ctaGFza2Vs
bC11c2VycyBtYWlsaW5nIGxpc3QKR2xhc2dvdy1oYXNrZWxsLXVzZXJzQGhhc2tlbGwub3JnCmh0
dHA6Ly9tYWlsLmhhc2tlbGwub3JnL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9nbGFzZ293LWhh
c2tlbGwtdXNlcnMK