diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-03-17 11:22:28 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-19 00:40:06 -0400 |
| commit | b03fd3bcd4ff14aed2942275c3b0db5392dc913c (patch) | |
| tree | 9efd8e42bd9705ebf62a68cd5b3c283a21d0861c /testsuite/tests/polykinds/T14846.stderr | |
| parent | 5cbf9934c59f7726781cc4cccf4748a5c09c4997 (diff) | |
| download | haskell-b03fd3bcd4ff14aed2942275c3b0db5392dc913c.tar.gz | |
PmCheck: Use ConLikeSet to model negative info
In #17911, Simon recognised many warnings stemming from over-long list
unions while coverage checking Cabal's `LicenseId` module.
This patch introduces a new `PmAltConSet` type which uses a `UniqDSet`
instead of an association list for `ConLike`s. For `PmLit`s, it will
still use an assocation list, though, because a similar map data
structure would entail a lot of busy work.
Fixes #17911.
Diffstat (limited to 'testsuite/tests/polykinds/T14846.stderr')
0 files changed, 0 insertions, 0 deletions