Skip to content

Better arity for join points

Simon Peyton Jones requested to merge wip/T17294 into master

Better arity for join points

A join point was getting too large an arity, leading to #17294 (closed).

I've tightened up the invariant: see CoreSyn, Note [Invariants on join points], invariant 2b

Merge request reports