diff options
| author | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-05-11 11:27:34 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-03 15:58:33 -0400 |
| commit | d5b89ed4d3c444e8bc4fe7cbbee38f9766574b84 (patch) | |
| tree | 85810c3cabe578c1bdca32e92b9eca87bea2c116 /testsuite/tests/pmcheck | |
| parent | 25977ab542a30df4ae71d9699d015bcdd1ab7cfb (diff) | |
| download | haskell-d5b89ed4d3c444e8bc4fe7cbbee38f9766574b84.tar.gz | |
Port HsToCore messages to new infrastructure
This commit converts a bunch of HsToCore (Ds) messages to use the new
GHC's diagnostic message infrastructure. In particular the DsMessage
type has been expanded with a lot of type constructors, each
encapsulating a particular error and warning emitted during desugaring.
Due to the fact that levity polymorphism checking can happen both at the
Ds and at the TcRn level, a new `TcLevityCheckDsMessage` constructor has
been added to the `TcRnMessage` type.
Diffstat (limited to 'testsuite/tests/pmcheck')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/T11822.stderr | 3 | ||||
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/TooManyDeltas.stderr | 6 |
2 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T11822.stderr b/testsuite/tests/pmcheck/should_compile/T11822.stderr index 8ad52e6de4..212d300537 100644 --- a/testsuite/tests/pmcheck/should_compile/T11822.stderr +++ b/testsuite/tests/pmcheck/should_compile/T11822.stderr @@ -19,5 +19,6 @@ T11822.hs:33:1: warning: • Redundant clauses might not be reported at all • Redundant clauses might be reported as inaccessible • Patterns reported as unmatched might actually be matched - Increase the limit or resolve the warnings to suppress this message. + Suggested fix: + Increase the limit or resolve the warnings to suppress this message. diff --git a/testsuite/tests/pmcheck/should_compile/TooManyDeltas.stderr b/testsuite/tests/pmcheck/should_compile/TooManyDeltas.stderr index cb65b8cab4..9297e1b669 100644 --- a/testsuite/tests/pmcheck/should_compile/TooManyDeltas.stderr +++ b/testsuite/tests/pmcheck/should_compile/TooManyDeltas.stderr @@ -13,14 +13,16 @@ TooManyDeltas.hs:14:1: warning: • Redundant clauses might not be reported at all • Redundant clauses might be reported as inaccessible • Patterns reported as unmatched might actually be matched - Increase the limit or resolve the warnings to suppress this message. + Suggested fix: + Increase the limit or resolve the warnings to suppress this message. TooManyDeltas.hs:19:1: warning: Pattern match checker ran into -fmax-pmcheck-models=0 limit, so • Redundant clauses might not be reported at all • Redundant clauses might be reported as inaccessible • Patterns reported as unmatched might actually be matched - Increase the limit or resolve the warnings to suppress this message. + Suggested fix: + Increase the limit or resolve the warnings to suppress this message. TooManyDeltas.hs:20:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match has inaccessible right hand side |