diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 10:45:35 +0100 |
|---|---|---|
| committer | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 14:52:50 +0000 |
| commit | f161e890dfd41fd9735f4e259fffe2ce6d00ec1a (patch) | |
| tree | e6c54b25f3cbb87458dea92c04e23993997e3746 /testsuite/tests/overloadedrecflds | |
| parent | a13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff) | |
| download | haskell-f161e890dfd41fd9735f4e259fffe2ce6d00ec1a.tar.gz | |
Use diagnostic infrastructure in GHC.Tc.Errors
Diffstat (limited to 'testsuite/tests/overloadedrecflds')
3 files changed, 18 insertions, 14 deletions
diff --git a/testsuite/tests/overloadedrecflds/ghci/T19314.stdout b/testsuite/tests/overloadedrecflds/ghci/T19314.stdout index 4e09a8a476..ed29a3d212 100644 --- a/testsuite/tests/overloadedrecflds/ghci/T19314.stdout +++ b/testsuite/tests/overloadedrecflds/ghci/T19314.stdout @@ -1,12 +1,14 @@ w :: [a] -> a x :: [a] -> a -<interactive>:1:1: - • Variable not in scope: y - • NB: ‘y’ is a field selector - that has been suppressed by NoFieldSelectors +<interactive>:1:1: error: + Variable not in scope: y + Suggested fix: + Notice that ‘y’ is a field selector + that has been suppressed by NoFieldSelectors. -<interactive>:1:1: - • Variable not in scope: z - • NB: ‘z’ is a field selector - that has been suppressed by NoFieldSelectors +<interactive>:1:1: error: + Variable not in scope: z + Suggested fix: + Notice that ‘z’ is a field selector + that has been suppressed by NoFieldSelectors. diff --git a/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr b/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr index c704facfc9..86631573a5 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr @@ -1,5 +1,6 @@ NFSExport.hs:2:27: error: Not in scope: ‘foo’ - NB: ‘foo’ is a field selector belonging to the type ‘T’ - that has been suppressed by NoFieldSelectors + Suggested fix: + Notice that ‘foo’ is a field selector belonging to the type ‘T’ + that has been suppressed by NoFieldSelectors. diff --git a/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr b/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr index 51415300e0..204aee2b2b 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr @@ -1,6 +1,7 @@ NFSSuppressed.hs:9:5: error: - • Variable not in scope: foo - • Perhaps you meant data constructor ‘Foo’ (line 7) - NB: ‘foo’ is a field selector belonging to the type ‘Foo’ - that has been suppressed by NoFieldSelectors + Variable not in scope: foo + Suggested fixes: + • Perhaps use data constructor ‘Foo’ (line 7) + • Notice that ‘foo’ is a field selector belonging to the type ‘Foo’ + that has been suppressed by NoFieldSelectors. |