diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2022-11-22 19:07:27 +0100 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2022-11-29 09:13:41 +0100 |
| commit | fecf0aa1e5491ac30e491ad163bd2fc2c7510e76 (patch) | |
| tree | a49800a7b1df51878dec1824043391b817cc8297 /compiler/GHC/Core/Opt/Arity.hs | |
| parent | def47dd32491311289bff26230b664c895f178cc (diff) | |
| download | haskell-wip/T22475.tar.gz | |
DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)wip/T22475
See the updated `Note [Data-con worker strictness]`
and the new `Note [Demand transformer for data constructors]`.
Fixes #22475.
Diffstat (limited to 'compiler/GHC/Core/Opt/Arity.hs')
| -rw-r--r-- | compiler/GHC/Core/Opt/Arity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Opt/Arity.hs b/compiler/GHC/Core/Opt/Arity.hs index b12478cbab..fbbcf1c2ad 100644 --- a/compiler/GHC/Core/Opt/Arity.hs +++ b/compiler/GHC/Core/Opt/Arity.hs @@ -2677,7 +2677,7 @@ tryEtaReduce rec_ids bndrs body eval_sd -- ... and that the function can be eta reduced to arity 0 -- without violating invariants of Core and GHC && canEtaReduceToArity fun 0 0 -- criteria (L), (J), (W), (B) - all_calls_with_arity n = isStrict (peelManyCalls n eval_sd) + all_calls_with_arity n = isStrict (fst $ peelManyCalls n eval_sd) -- See Note [Eta reduction based on evaluation context] --------------- |