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/simplCore/should_compile | |
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/simplCore/should_compile')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T6082-RULE.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T7287.stderr | 3 |
2 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr b/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr index 7359861750..3a3332769e 100644 --- a/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr +++ b/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr @@ -1,8 +1,10 @@ T6082-RULE.hs:5:11: warning: [-Winline-rule-shadowing (in -Wdefault)] Rule "foo1" may never fire because ‘foo1’ might inline first - Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo1’ + Suggested fix: + Add an INLINE[n] or NOINLINE[n] pragma for ‘foo1’ T6082-RULE.hs:10:11: warning: [-Winline-rule-shadowing (in -Wdefault)] Rule "foo2" may never fire because ‘foo2’ might inline first - Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo2’ + Suggested fix: + Add an INLINE[n] or NOINLINE[n] pragma for ‘foo2’ diff --git a/testsuite/tests/simplCore/should_compile/T7287.stderr b/testsuite/tests/simplCore/should_compile/T7287.stderr index 5aa71e0e98..957282b8f3 100644 --- a/testsuite/tests/simplCore/should_compile/T7287.stderr +++ b/testsuite/tests/simplCore/should_compile/T7287.stderr @@ -2,4 +2,5 @@ T7287.hs:7:3: warning: [-Winline-rule-shadowing (in -Wdefault)] Rule "int2Word#/word2Int#" may never fire because rule "word2Int#" for ‘word2Int#’ might fire first - Probable fix: add phase [n] or [~n] to the competing rule + Suggested fix: + Add phase [n] or [~n] to the competing rule |