Skip to content

Fix newtype eta-reduction

Simon Peyton Jones requested to merge wip/T19739 into master

The eta-reduction we do for newype axioms was generating an inhomogeneous axiom: see #19739 (closed).

This patch fixes it in a simple way; see GHC.Tc.TyCl.Build Note [Newtype eta and homogeneous axioms]

Merge request reports