testsuite: Fix test output of T14715
authorBen Gamari <ben@smart-cactus.org>
Thu, 1 Feb 2018 03:53:16 +0000 (22:53 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 1 Feb 2018 04:06:57 +0000 (23:06 -0500)
Arguably the warning should just be disabled for this test to eliminate
unnecessary wiggle in the future.

testsuite/tests/partial-sigs/should_compile/T14715.stderr

index 0519ecb..c846b47 100644 (file)
@@ -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)