summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T15039d.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/partial-sigs/should_compile/T15039d.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/partial-sigs/should_compile/T15039d.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/T15039d.stderr10
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T15039d.stderr b/testsuite/tests/partial-sigs/should_compile/T15039d.stderr
index 587b64126a..bdc3d62708 100644
--- a/testsuite/tests/partial-sigs/should_compile/T15039d.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T15039d.stderr
@@ -1,5 +1,5 @@
-T15039d.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T15039d.hs:19:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~ (b :: *))’
Where: ‘a’, ‘b’ are rigid type variables bound by
the type signature for:
@@ -11,7 +11,7 @@ T15039d.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Relevant bindings include
ex1 :: Dict ((a :: *) ~ (b :: *)) -> () (bound at T15039d.hs:19:1)
-T15039d.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T15039d.hs:22:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’
standing for ‘Dict ((a :: *) ~~ (b :: *))’
Where: ‘a’, ‘b’ are rigid type variables bound by
@@ -24,7 +24,7 @@ T15039d.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Relevant bindings include
ex2 :: Dict ((a :: *) ~~ (b :: *)) -> () (bound at T15039d.hs:22:1)
-T15039d.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T15039d.hs:25:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’
standing for ‘Dict ((a :: *) ~~ (b :: k))’
Where: ‘a’, ‘k’, ‘b’ are rigid type variables bound by
@@ -37,7 +37,7 @@ T15039d.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Relevant bindings include
ex3 :: Dict ((a :: *) ~~ (b :: k)) -> () (bound at T15039d.hs:25:1)
-T15039d.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T15039d.hs:33:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘Dict (Coercible @(*) a b)’
Where: ‘a’, ‘b’ are rigid type variables bound by
the type signature for:
@@ -49,7 +49,7 @@ T15039d.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Relevant bindings include
ex6 :: Dict (Coercible @(*) a b) -> () (bound at T15039d.hs:33:1)
-T15039d.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T15039d.hs:35:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints wildcard standing for
‘Coercible @(*) a b’
Where: ‘a’, ‘b’ are rigid type variables bound by