Commit f0c0ee7d authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot

Fix order of arguments in specializer (#17801)

See ghc/ghc#17801 (comment 253330)

No regression test, as it's hard to trigger.
parent 31fc3321
......@@ -1438,7 +1438,7 @@ specCalls mb_mod env existing_rules calls_for_me fn rhs
(lam_extra_args, app_args) -- See Note [Specialisations Must Be Lifted]
| isUnliftedType body_ty -- C.f. WwLib.mkWorkerArgs
, not (isJoinId fn)
= ([voidArgId], unspec_bndrs ++ [voidPrimId])
= ([voidArgId], voidPrimId : unspec_bndrs)
| otherwise = ([], unspec_bndrs)
join_arity_change = length app_args - length rule_args
spec_join_arity | Just orig_join_arity <- isJoinId_maybe fn
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment