testsuite/tests/quantified-constraints/T21006.hs · 902ebcc2b95707319d37a19d6b23c342cc14b162 · Reinier Maas / GHC

Jan 26, 2022

Set the TcLclEnv when solving a ForAll constraint · f9ef2d26

Simon Peyton Jones authored Jan 26, 2022 and

Marge Bot committed Jan 27, 2022

Fix a simple omission in GHC.Tc.Solver.Canonical.solveForAll,
where we ended up with the wrong TcLclEnv captured in an implication.

Result: unhelpful error message (#21006)

f9ef2d26

Set the TcLclEnv when solving a ForAll constraint

Simon Peyton Jones authored Jan 26, 2022 and

Marge Bot committed Jan 27, 2022

Fix a simple omission in GHC.Tc.Solver.Canonical.solveForAll,
where we ended up with the wrong TcLclEnv captured in an implication.

Result: unhelpful error message (#21006)