[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:
35fd2c31 by Sebastian Graf at 2023-09-01T11:08:06+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 for local floats (even at the top level). These will be visible in STG
+and end up in generated code.
 
 Note [Multiplicity of let binders]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/35fd2c3182e8fdee348cbe502f88d5ca1a7b9820

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/35fd2c3182e8fdee348cbe502f88d5ca1a7b9820
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/20230901/7ac2adc3/attachment-0001.html>