Skip to content

Improvements in SpecConstr

Simon Peyton Jones requested to merge wip/T19672 into master

  • Allow under-saturated calls to specialise See Note [SpecConstr call patterns] This just allows a bit more specialisation to take place.

  • Don't discard calls from un-specialised RHSs. This was a plain bug in specialise, again leading to loss of specialisation. Refactoring yields an otherwise case that is easier to grok.

  • I refactored CallPat to become a proper data type, not a tuple.

All this came up when I was working on eta-reduction. The ticket is #19672 (closed).

Merge request reports