DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)
See the updated `Note [Data-con worker strictness]` and the new `Note [Demand transformer for data constructors]`. Fixes #22475.
Showing
- compiler/GHC/Core/DataCon.hs 30 additions, 13 deletionscompiler/GHC/Core/DataCon.hs
- compiler/GHC/Core/Opt/Arity.hs 1 addition, 1 deletioncompiler/GHC/Core/Opt/Arity.hs
- compiler/GHC/Core/Opt/DmdAnal.hs 3 additions, 3 deletionscompiler/GHC/Core/Opt/DmdAnal.hs
- compiler/GHC/Stg/Lift/Analysis.hs 1 addition, 1 deletioncompiler/GHC/Stg/Lift/Analysis.hs
- compiler/GHC/Types/Demand.hs 61 additions, 14 deletionscompiler/GHC/Types/Demand.hs
- compiler/GHC/Types/Id/Make.hs 1 addition, 1 deletioncompiler/GHC/Types/Id/Make.hs
- testsuite/tests/stranal/should_run/T22475.hs 47 additions, 0 deletionstestsuite/tests/stranal/should_run/T22475.hs
- testsuite/tests/stranal/should_run/T22475b.hs 21 additions, 0 deletionstestsuite/tests/stranal/should_run/T22475b.hs
- testsuite/tests/stranal/should_run/T22475b.stdout 1 addition, 0 deletionstestsuite/tests/stranal/should_run/T22475b.stdout
- testsuite/tests/stranal/should_run/all.T 2 additions, 0 deletionstestsuite/tests/stranal/should_run/all.T
Loading
Please register or sign in to comment