Skip to content

Draft: CallArity: Avoid co-call computation when group contains self-calls

Ben Gamari requested to merge wip/T18789-b into master

This explores the idea proposed by @nomeata in #18789, bailing early on the co-call analysis if we find the group contains a self-recursive bindings.

TODO:

  • Explain changes in CallArity1
  • Write Note explaining why this is helpful and does not affect optimisation

Merge request reports