Simon Peyton Jones pushed to branch wip/T26831 at Glasgow Haskell Compiler / GHC
Commits:
-
2df0ec18
by Simon Peyton Jones at 2026-02-13T09:08:55+00:00
1 changed file:
Changes:
| ... | ... | @@ -1622,8 +1622,8 @@ maybeSaturate fn expr n_args unsat_ticks |
| 1622 | 1622 | fn_arity = idArity fn
|
| 1623 | 1623 | excess_arity = (max fn_arity mark_arity) - n_args
|
| 1624 | 1624 | sat_expr = cpeEtaExpand excess_arity expr
|
| 1625 | - applied_marks = n_args >= (length . dropWhile (not . isMarkedCbv) .
|
|
| 1626 | - reverse . expectJust $ (idCbvMarks_maybe fn))
|
|
| 1625 | +-- applied_marks = n_args >= (length . dropWhile (not . isMarkedCbv) .
|
|
| 1626 | +-- reverse . expectJust $ (idCbvMarks_maybe fn))
|
|
| 1627 | 1627 | -- For join points we never eta-expand (See Note [Do not eta-expand join points])
|
| 1628 | 1628 | -- so we assert all arguments that need to be passed cbv are visible so that the
|
| 1629 | 1629 | -- backend can evalaute them if required..
|