diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-03-26 09:28:28 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2021-03-30 09:26:18 +0100 |
| commit | 4b7c25ef195f23c908f67f2de500b5fa6f5ea1ae (patch) | |
| tree | 0959604a5452a28ea5b3902405bbf4b25d7a05dc /testsuite/timeout | |
| parent | 6604409594f71d2ed5963bb3897bc4ee772cc5c0 (diff) | |
| download | haskell-wip/T19415.tar.gz | |
Avoid fundep-caused loop in the typecheckerwip/T19415
Ticket #19415 showed a nasty typechecker loop, which can happen with
fundeps that do not satisfy the coverage condition.
This patch fixes the problem. It's described in GHC.Tc.Solver.Interact
Note [Fundeps with instances]
It's not a perfect solution, as the Note explains, but it's better
than the status quo.
Diffstat (limited to 'testsuite/timeout')
0 files changed, 0 insertions, 0 deletions