diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2019-04-03 18:53:32 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-08 15:06:15 -0400 |
| commit | d236d9d0f4f3be0641933b959dde14a065acd37f (patch) | |
| tree | 9e0bcdde03bd8be1b2517bedcdb839e028e90801 /testsuite/tests/primops | |
| parent | 4dda2270d26017eadddd99ed567aacf41c2913b9 (diff) | |
| download | haskell-d236d9d0f4f3be0641933b959dde14a065acd37f.tar.gz | |
Make `singleConstructor` cope with pattern synonyms
Previously, `singleConstructor` didn't handle singleton `COMPLETE` sets
of a single pattern synonym, resulting in incomplete pattern warnings
in #15753.
This is fixed by making `singleConstructor` (now named
`singleMatchConstructor`) query `allCompleteMatches`, necessarily making
it effectful. As a result, most of this patch is concerned with
threading the side-effect through to `singleMatchConstructor`.
Unfortunately, this is not enough to completely fix the original
reproduction from #15753 and #15884, which are related to function
applications in pattern guards being translated too conservatively.
Diffstat (limited to 'testsuite/tests/primops')
0 files changed, 0 insertions, 0 deletions