[Git][ghc/ghc][wip/T17521] Elaborate a bit

[Jaro Reinders (@Noughtmare)]

Jaro Reinders pushed to branch wip/T17521 at Glasgow Haskell Compiler / GHC


Commits:
e5374bac by Jaro Reinders at 2023-08-11T13:25:46+02:00
Elaborate a bit

- - - - -


1 changed file:

- compiler/GHC/Core.hs


Changes:

=====================================
compiler/GHC/Core.hs
=====================================
@@ -527,12 +527,12 @@ So, for the first incarnation of this feature we choose very restrictive
 conditions, which are still useful in practice. We allow top-level unlifted
 data constructor workers if they are applied to arguments that are one of:
 
-* A Literal
+* A Literal. Literals are guaranteed to be fully evaluated.
 
 * Any expressions of lifted type, but only if that argument is not
   marked strict.
 
-* An unlifted variable
+* An unlifted variable. These are top-level themselves and thus fully evaluated.
 
 In the future, we hope to relax this condition (#23811).
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e5374bac8bb4e93eb887981f19d693ed8f4ba138
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/20230811/974224e1/attachment.html>