Skip to content

Use isReflexiveCo when building an MCorecion

Simon Peyton Jones requested to merge wip/T19815 into master

This patch just changes isReflCo to isReflexiveCo when we build an MCoercion, in mkMCo. It turns out that this makes a gigantic difference to test T18223 -- compiler allocation drops by 75%.

I also changed the name from coToMCo to mkMCo, which is more consistent with how we name smart constructors.

Merge request reports