testsuite/tests/simplCore/should_run/T21575.stdout · 5643ecf97150805032203bd9c8c92b5ded54d724 · Reinier Maas / GHC

Blame

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

2 years ago

d2284c4c

Fix bad interaction between withDict and the Specialiser · d2284c4c

Simon Peyton Jones authored 2 years ago and

Marge Bot committed 2 years ago

This MR fixes a bad bug, where the withDict was inlined too
vigorously, which in turn made the type-class Specialiser generate
a bogus specialisation, because it saw the same overloaded function
applied to two /different/ dictionaries.

Solution: inline `withDict` later.  See (WD8) of Note [withDict]
in GHC.HsToCore.Expr

See #21575, which is fixed by this change.

d2284c4c

History

Fix bad interaction between withDict and the Specialiser

Simon Peyton Jones authored 2 years ago and

Marge Bot committed 2 years ago

This MR fixes a bad bug, where the withDict was inlined too
vigorously, which in turn made the type-class Specialiser generate
a bogus specialisation, because it saw the same overloaded function
applied to two /different/ dictionaries.

Solution: inline `withDict` later.  See (WD8) of Note [withDict]
in GHC.HsToCore.Expr

See #21575, which is fixed by this change.

Code owners

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