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/patsyn | |
| parent | a13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff) | |
| download | haskell-f161e890dfd41fd9735f4e259fffe2ce6d00ec1a.tar.gz | |
Use diagnostic infrastructure in GHC.Tc.Errors
Diffstat (limited to 'testsuite/tests/patsyn')
4 files changed, 8 insertions, 7 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T13470.stderr b/testsuite/tests/patsyn/should_fail/T13470.stderr index 748b5d1da2..87bd4884dc 100644 --- a/testsuite/tests/patsyn/should_fail/T13470.stderr +++ b/testsuite/tests/patsyn/should_fail/T13470.stderr @@ -5,4 +5,4 @@ T13470.hs:11:11: error: Not in scope: ‘nan’ T13470.hs:16:12: error: Not in scope: ‘x12345’ - Perhaps you meant ‘x123456’ (line 16) + Suggested fix: Perhaps use ‘x123456’ (line 16) diff --git a/testsuite/tests/patsyn/should_fail/T15685.stderr b/testsuite/tests/patsyn/should_fail/T15685.stderr index 723d0fcff3..afc6d45de4 100644 --- a/testsuite/tests/patsyn/should_fail/T15685.stderr +++ b/testsuite/tests/patsyn/should_fail/T15685.stderr @@ -1,6 +1,6 @@ T15685.hs:13:24: error: - • Could not deduce: k ~ [k0] + • Could not deduce (k ~ [k0]) from the context: as ~ (a : as1) bound by a pattern with constructor: Here :: forall {k} (f :: k -> *) (a :: k) (as :: [k]). @@ -10,7 +10,7 @@ T15685.hs:13:24: error: ‘k’ is a rigid type variable bound by the inferred type of HereNil :: NS f as at T15685.hs:13:9-15 - Possible fix: add a type signature for ‘HereNil’ • In the pattern: Nil In the pattern: Here Nil In the declaration for pattern synonym ‘HereNil’ + Suggested fix: Consider giving ‘HereNil’ a type signature diff --git a/testsuite/tests/patsyn/should_fail/T15695.stderr b/testsuite/tests/patsyn/should_fail/T15695.stderr index 555c004360..62b082fd41 100644 --- a/testsuite/tests/patsyn/should_fail/T15695.stderr +++ b/testsuite/tests/patsyn/should_fail/T15695.stderr @@ -1,6 +1,6 @@ T15695.hs:40:14: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce: a2 ~ NA 'VO + • Could not deduce (a2 ~ NA 'VO) from the context: ((* -> * -> *) ~ (k -> k1 -> *), Either ~~ f, ctx ~~ (a2 ':&: (a3 ':&: 'E)), f a2 ~~ f1, f1 a3 ~~ a4) bound by a pattern with pattern synonym: diff --git a/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr b/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr index 26124310fc..5b24406cbf 100644 --- a/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr +++ b/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr @@ -1,5 +1,6 @@ records-nofieldselectors.hs:9:12: error: - • Variable not in scope: x :: [a0] -> Int - • NB: ‘x’ is a field selector - that has been suppressed by NoFieldSelectors + Variable not in scope: x :: [a0] -> Int + Suggested fix: + Notice that ‘x’ is a field selector + that has been suppressed by NoFieldSelectors. |