diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-11-19 16:13:18 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2022-09-27 14:51:23 +0100 |
| commit | 9725dd6d418cc4fce0d01083fef1a82cf2633283 (patch) | |
| tree | 824aced18976482cdf77137a7f95d1dfd6b1a75f /compiler/GHC/Core/Opt/SetLevels.hs | |
| parent | 615e22789a04e74d7e02239b4580b95b077c3ae0 (diff) | |
| download | haskell-wip/T19001.tar.gz | |
Kill ad hoc Note [Case MFEs] hackwip/T19001
See discussion in #19001. I'm keen to kill this hack off.
This MR is to check CI and perf.
Also enable CaseOfCase in InitialPhase
Diffstat (limited to 'compiler/GHC/Core/Opt/SetLevels.hs')
| -rw-r--r-- | compiler/GHC/Core/Opt/SetLevels.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/GHC/Core/Opt/SetLevels.hs b/compiler/GHC/Core/Opt/SetLevels.hs index 1d811b12cf..6a95327e72 100644 --- a/compiler/GHC/Core/Opt/SetLevels.hs +++ b/compiler/GHC/Core/Opt/SetLevels.hs @@ -637,9 +637,12 @@ lvlMFE env strict_ctxt (_, AnnCast e (_, co)) = do { e' <- lvlMFE env strict_ctxt e ; return (Cast e' (substCo (le_subst env) co)) } +{- Not doing this any more: #19001 lvlMFE env strict_ctxt e@(_, AnnCase {}) | strict_ctxt -- Don't share cases in a strict context = lvlExpr env e -- See Note [Case MFEs] +-} + lvlMFE env strict_ctxt ann_expr | floatTopLvlOnly env && not (isTopLvl dest_lvl) |