<div dir="ltr">Right, so I'm suggesting that any changes or additions should be recorded in that Note so it can be the primary source of information on tags that it apparently wanted to be. And perhaps it deserves special mention in the Commentary as such.</div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, Aug 5, 2025 at 10:26 AM Wolfgang Jeltsch <<a href="mailto:wolfgang@well-typed.com">wolfgang@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Am Montag, dem 04.08.2025 um 18:37 -0400 schrieb Brandon Allbery:<br>
> And indeed, there is `Note [Uniques for wired-in prelude things and<br>
> known tags]` in compiler/GHC/Builtin/Uniques.hs.<br>
<br>
This doesn’t list which tags cause special compiler behavior, only which<br>
ones are used by GHC in general.<br>
<br>
Also, it is by no means clear that this list is comprehensive. It seems<br>
that its authors were partly even unsure about tag meaning: the entry<br>
for tag `a` has a question mark.<br>
<br>
Finally, this list leaves questions open. It sometimes only mentions<br>
compiler components to which certain tags are related but not for what<br>
kinds of uniques they are actually used (and not even whether said<br>
uniques are introduced or used by the mentioned compiler components).<br>
<br>
All the best,<br>
Wolfgang<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><div><br clear="all"></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>