Skip to content

Use synonym Type instead of TYPE-LiftedRep as default kind

Andrew Martin requested to merge andrewthad/ghc:lifted-type-kind-to-synonym into master

While trying to make the BoxedRep branch perform better, I noticed that GHC (in the absence of PolyKinds) defaults kinds to TYPE 'LiftedRep, not to the synonym Type. I don't know if this is good or bad. This MR reverses that decision. I'm pushing this here to that CI can show us what impact, if any, this has on allocations.

Merge request reports