testsuite/tests/gadt/T20278.hs · 5643ecf97150805032203bd9c8c92b5ded54d724 · Reinier Maas / GHC

Blame

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

3 years ago

0759c069

Desugarer: Bring existentials in scope when substituting into record GADTs · 0759c069

Ryan Scott authored 3 years ago and

Marge Bot committed 3 years ago

This fixes an outright bug in which the desugarer did not bring the
existentially quantified type variables of a record GADT into `in_subst`'s
in-scope set, leading to #20278. It also addresses a minor inefficiency in
which `out_subst` was made into a substitution when a simpler `TvSubstEnv`
would suffice.

Fixes #20278.

0759c069

History

Desugarer: Bring existentials in scope when substituting into record GADTs

Ryan Scott authored 3 years ago and

Marge Bot committed 3 years ago

This fixes an outright bug in which the desugarer did not bring the
existentially quantified type variables of a record GADT into `in_subst`'s
in-scope set, leading to #20278. It also addresses a minor inefficiency in
which `out_subst` was made into a substitution when a simpler `TvSubstEnv`
would suffice.

Fixes #20278.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.