[Git][ghc/ghc][wip/T23797] Clarify Note [GlobalId/LocalId] after CorePrep (#23797)

[Sebastian Graf (@sgraf812)]

Sebastian Graf pushed to branch wip/T23797 at Glasgow Haskell Compiler / GHC


Commits:
8fb7dd95 by Sebastian Graf at 2023-08-31T14:02:03+02:00
Clarify Note [GlobalId/LocalId] after CorePrep (#23797)

Fixes #23797.

- - - - -


1 changed file:

- compiler/GHC/Types/Var.hs


Changes:

=====================================
compiler/GHC/Types/Var.hs
=====================================
@@ -322,7 +322,10 @@ A LocalId is
   * or defined at top level in the module being compiled
   * always treated as a candidate by the free-variable finder
 
-After CoreTidy, top-level LocalIds are turned into GlobalIds
+In the output of CoreTidy, top level Ids are all GlobalIds, which
+are then serialised into interface files.
+Do note however that CorePrep may introduce new LocalIds (even at the
+top level) that are visible in, e.g., STG.
 
 Note [Multiplicity of let binders]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8fb7dd955503f6c2c285f0a5d6af7f1afbba7054

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8fb7dd955503f6c2c285f0a5d6af7f1afbba7054
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230831/795464b9/attachment-0001.html>