Visible kind application
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T14715.stderr
index c846b47..b34c4a5 100644 (file)
@@ -1,10 +1,11 @@
-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)
+
+T14715.hs:13:20: 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)