summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T18646.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T18646.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/T18646.stderr6
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T18646.stderr b/testsuite/tests/partial-sigs/should_compile/T18646.stderr
index ab5bd90aa5..0a9a56e231 100644
--- a/testsuite/tests/partial-sigs/should_compile/T18646.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T18646.stderr
@@ -1,19 +1,19 @@
-T18646.hs:9:17: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T18646.hs:9:17: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints wildcard standing for ‘Applicative f’
Where: ‘f’ is a rigid type variable bound by
the inferred type of bar :: (Foo (), Applicative f) => f ()
at T18646.hs:9:1-26
• In the type signature: bar :: (Foo (), _) => f ()
-T18646.hs:12:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T18646.hs:12:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints wildcard standing for ‘Applicative f’
Where: ‘f’ is a rigid type variable bound by
the inferred type of marie :: (Foo x, Applicative f) => f x
at T18646.hs:12:1-26
• In the type signature: marie :: (Foo x, _) => f x
-T18646.hs:15:9: warning: [-Wpartial-type-signatures (in -Wdefault)]
+T18646.hs:15:9: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints wildcard standing for
‘(Applicative f, Foo x)’
Where: ‘f’, ‘x’ are rigid type variables bound by