Skip to content

Update commentary and slightly refactor GHC.Tc.Deriv.Infer

Ryan Scott requested to merge wip/T18073 into master

There was some out-of-date commentary in GHC.Tc.Deriv.Infer that has been modernized. Along the way, I removed the bad constraints in simplifyDeriv, which did not serve any useful purpose (besides being printed in debugging output).

Fixes #18073 (closed).

Merge request reports