Skip to content

Account for TYPE vs CONSTRAINT in mkSelCo

Simon Peyton Jones requested to merge wip/T23018 into master

As #23018 (closed) showed, in mkRuntimeRepCo we need to account for coercions between TYPE and COERCION.

See Note [mkRuntimeRepCo] in GHC.Core.Coercion.

Merge request reports