summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7609.stderr
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2022-09-13 10:22:05 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-09-13 10:27:53 -0400
commit362cca13858faf7e1158273780ea900e7dad5827 (patch)
tree468c06697b2a6ef3f65b79a469a131d279f71deb /testsuite/tests/typecheck/should_fail/T7609.stderr
parent65a0bd69ac1fb59047cd4c8554a8fc756c7b3476 (diff)
downloadhaskell-362cca13858faf7e1158273780ea900e7dad5827.tar.gz
Diagnostic codes: acccept test changes
The testsuite output now contains diagnostic codes, so many tests need to be updated at once. We decided it was best to keep the diagnostic codes in the testsuite output, so that contributors don't inadvertently make changes to the diagnostic codes.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7609.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T7609.stderr6
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7609.stderr b/testsuite/tests/typecheck/should_fail/T7609.stderr
index 32bc980fe9..f927b3c0b0 100644
--- a/testsuite/tests/typecheck/should_fail/T7609.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7609.stderr
@@ -1,14 +1,14 @@
-T7609.hs:7:16: error:
+T7609.hs:7:16: error: [GHC-83865]
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type signature: f :: (a `X` a, Maybe)
-T7609.hs:10:7: error:
+T7609.hs:10:7: error: [GHC-83865]
• Expected a constraint, but ‘a `X` a’ has kind ‘*’
• In the type signature: g :: (a `X` a) => Maybe
-T7609.hs:10:19: error:
+T7609.hs:10:19: error: [GHC-83865]
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type signature: g :: (a `X` a) => Maybe