[Git][ghc/ghc][wip/T23797] Clarify Note [GlobalId/LocalId] after CorePrep

[Sebastian Graf (@sgraf812)]

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


Commits:
278b00e1 by Sebastian Graf at 2023-08-31T11:37:56+00:00
Clarify Note [GlobalId/LocalId] after CorePrep
- - - - -


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/278b00e191fd4194aa34ed73a773f3a6971c5500

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/278b00e191fd4194aa34ed73a773f3a6971c5500
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/6a663cb0/attachment.html>