diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-07-04 08:41:12 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-07-04 21:25:05 -0400 |
commit | 80afdf6be11ae3b5bfd1b09dbc5f5118a9dde55a (patch) | |
tree | ff2215fa2adf0c07e881b3b1939f72cdc23d1f5a /testsuite/tests/polykinds/T16342.hs | |
parent | ed6629013b91f782953b4aa5db2854647e3eae97 (diff) | |
download | haskell-80afdf6be11ae3b5bfd1b09dbc5f5118a9dde55a.tar.gz |
Fix over-eager implication constraint discard
Ticket #16247 showed that we were discarding an implication
constraint that had empty ic_wanted, when we still needed to
keep it so we could check whether it had a bad telescope.
Happily it's a one line fix. All the rest is comments!
Diffstat (limited to 'testsuite/tests/polykinds/T16342.hs')
0 files changed, 0 insertions, 0 deletions