[commit: ghc] master: testsuite: Fix test output of T14715 (fe6fdf6)
git at git.haskell.org
git at git.haskell.org
Thu Feb 1 04:29:54 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/fe6fdf689853f5d6e4ef01ba9952e4be48a92f45/ghc
>---------------------------------------------------------------
commit fe6fdf689853f5d6e4ef01ba9952e4be48a92f45
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.
>---------------------------------------------------------------
fe6fdf689853f5d6e4ef01ba9952e4be48a92f45
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