[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