Treat type data declarations as empty when checking pattern-matching coverage
The data constructors for a `type data` declaration don't exist at the value level, so we don't want GHC to warn users to match on them. Fixes #22964.
Showing
- compiler/GHC/HsToCore/Pmc/Solver.hs 10 additions, 5 deletionscompiler/GHC/HsToCore/Pmc/Solver.hs
- compiler/GHC/Rename/Module.hs 15 additions, 0 deletionscompiler/GHC/Rename/Module.hs
- testsuite/tests/pmcheck/should_compile/T22964.hs 15 additions, 0 deletionstestsuite/tests/pmcheck/should_compile/T22964.hs
- testsuite/tests/pmcheck/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/pmcheck/should_compile/all.T
Loading
Please register or sign in to comment