summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2022-01-17 10:45:35 +0100
committersheaf <sam.derbyshire@gmail.com>2022-01-17 14:52:50 +0000
commitf161e890dfd41fd9735f4e259fffe2ce6d00ec1a (patch)
treee6c54b25f3cbb87458dea92c04e23993997e3746 /testsuite/tests/patsyn
parenta13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff)
downloadhaskell-f161e890dfd41fd9735f4e259fffe2ce6d00ec1a.tar.gz
Use diagnostic infrastructure in GHC.Tc.Errors
Diffstat (limited to 'testsuite/tests/patsyn')
-rw-r--r--testsuite/tests/patsyn/should_fail/T13470.stderr2
-rw-r--r--testsuite/tests/patsyn/should_fail/T15685.stderr4
-rw-r--r--testsuite/tests/patsyn/should_fail/T15695.stderr2
-rw-r--r--testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr7
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.