summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T14715.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T14715.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/T14715.stderr3
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T14715.stderr b/testsuite/tests/partial-sigs/should_compile/T14715.stderr
index 901ece018f..e352f0d644 100644
--- a/testsuite/tests/partial-sigs/should_compile/T14715.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T14715.stderr
@@ -1,6 +1,7 @@
T14715.hs:13:53: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Reduce (LiftOf zq) zq’
+ • Found extra-constraints wildcard standing for
+ ‘Reduce (LiftOf zq) zq’
Where: ‘zq’ is a rigid type variable bound by
the inferred type of
bench_mulPublic :: (z ~ LiftOf zq, Reduce (LiftOf zq) zq) =>