[commit: ghc] ghc-8.4: testsuite: Fix test output of T14715 (d6f2f23)
git at git.haskell.org
git at git.haskell.org
Thu Feb 1 04:52:07 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : ghc-8.4
Link : http://ghc.haskell.org/trac/ghc/changeset/d6f2f231bfd556256efa408663e277a963ea4deb/ghc
>---------------------------------------------------------------
commit d6f2f231bfd556256efa408663e277a963ea4deb
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Jan 31 22:53:16 2018 -0500
testsuite: Fix test output of T14715
Arguably the warning should just be disabled for this test to eliminate
unnecessary wiggle in the future.
(cherry picked from commit fe6fdf689853f5d6e4ef01ba9952e4be48a92f45)
>---------------------------------------------------------------
d6f2f231bfd556256efa408663e277a963ea4deb
testsuite/tests/partial-sigs/should_compile/T14715.stderr | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/testsuite/tests/partial-sigs/should_compile/T14715.stderr b/testsuite/tests/partial-sigs/should_compile/T14715.stderr
index 0519ecb..c846b47 100644
--- a/testsuite/tests/partial-sigs/should_compile/T14715.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T14715.stderr
@@ -1 +1,10 @@
-
\ No newline at end of file
+T14715.hs:13:53: warning: [-Wpartial-type-signatures (in -Wdefault)]
+ Found type 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) =>
+ Cyc zp -> Cyc z -> IO (zp, zq)
+ at T14715.hs:(14,1)-(16,14)
+ In the type signature:
+ bench_mulPublic :: forall z zp zq.
+ (z ~ LiftOf zq, _) => Cyc zp -> Cyc z -> IO (zp, zq)
More information about the ghc-commits
mailing list