Simon Peyton Jones pushed to branch wip/26543 at Glasgow Haskell Compiler / GHC
Commits:
-
e924574f
by Simon Peyton Jones at 2025-12-13T17:30:50+00:00
1 changed file:
Changes:
| ... | ... | @@ -1551,10 +1551,10 @@ preInlineBetaUnconditionally env levity bndr clo |
| 1551 | 1551 | -- NB: exprOkForSpeculation is stable under substitution
|
| 1552 | 1552 | -- so we can apply it to an InExpr in the ContEx case
|
| 1553 | 1553 | needs_case_binding Lifted = False
|
| 1554 | - needs_case_binding Unlifted = case clo of
|
|
| 1555 | - DoneId {} -> False
|
|
| 1556 | - DoneEx e _ -> exprOkForSpeculation e
|
|
| 1557 | - ContEx _ e _ -> exprOkForSpeculation e
|
|
| 1554 | + needs_case_binding Unlifted = case clo of
|
|
| 1555 | + DoneId {} -> False
|
|
| 1556 | + DoneEx e _ -> not $ exprOkForSpeculation e
|
|
| 1557 | + ContEx _ e _ -> not $ exprOkForSpeculation e
|
|
| 1558 | 1558 | |
| 1559 | 1559 | preInlineLetUnconditionally
|
| 1560 | 1560 | :: SimplEnv -> TopLevelFlag -> InId
|