diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2022-01-26 11:42:36 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2022-01-26 18:09:39 +0000 |
| commit | d3cb316636413dfc48480b950bd9a5437746edae (patch) | |
| tree | dc8d4d1fb99ac2348dd55935951b5d0147bdc8b5 /testsuite/tests/deSugar/should_run/dsrun016.hs | |
| parent | 011990f5f515e741b1643d6b5988c0ba77cc22ad (diff) | |
| download | haskell-wip/T21006.tar.gz | |
Set the TcLclEnv when solving a ForAll constraintwip/T21006
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)
Diffstat (limited to 'testsuite/tests/deSugar/should_run/dsrun016.hs')
0 files changed, 0 insertions, 0 deletions