Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7857.stderr
index 3519b3f..e923a02 100644 (file)
@@ -1,14 +1,14 @@
 
-T7857.hs:8:11:
-    Could not deduce (PrintfType s0) arising from a use of ‘printf’
-    from the context (PrintfArg t)
+T7857.hs:8:11: error:
+    Could not deduce (PrintfType r0) arising from a use of ‘printf’
+    from the context: PrintfArg t
       bound by the inferred type of g :: PrintfArg t => t -> b
       at T7857.hs:8:1-21
-    The type variable ‘s0’ is ambiguous
-    Note: there are several potential instances:
-      instance [safe] (PrintfArg a, PrintfType r) => PrintfType (a -> r)
+    The type variable ‘r0’ is ambiguous
+    These potential instances exist:
+      instance [safe] (a ~ ()) => PrintfType (IO a)
         -- Defined in ‘Text.Printf’
-      instance [safe] a ~ () => PrintfType (IO a)
+      instance [safe] (PrintfArg a, PrintfType r) => PrintfType (a -> r)
         -- Defined in ‘Text.Printf’
       instance [safe] IsChar c => PrintfType [c]
         -- Defined in ‘Text.Printf’