Andreas Klebinger pushed to branch wip/andreask/ticked_joins at Glasgow Haskell Compiler / GHC
Commits:
-
b80db205
by Andreas Klebinger at 2025-10-04T14:36:19+02:00
1 changed file:
Changes:
| ... | ... | @@ -2493,10 +2493,12 @@ occAnal env (Tick tickish body) |
| 2493 | 2493 | WUD usage body' = occAnal env body
|
| 2494 | 2494 | |
| 2495 | 2495 | usage'
|
| 2496 | - | tickish `tickishScopesLike` SoftScope
|
|
| 2496 | + | tickish `tickishScopesLike` SoftScope || isProfTick tickish
|
|
| 2497 | 2497 | = usage -- For soft-scoped ticks (including SourceNotes) we don't want
|
| 2498 | 2498 | -- to lose join-point-hood, so we don't mess with `usage` (#24078)
|
| 2499 | 2499 | |
| 2500 | + -- Similarly for cost centres. (#26157)
|
|
| 2501 | + |
|
| 2500 | 2502 | -- For a non-soft tick scope, we can inline lambdas only, so we
|
| 2501 | 2503 | -- abandon tail calls, and do markAllInsideLam too: usage_lam
|
| 2502 | 2504 |