tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
index 749bd22..589da0a 100644 (file)
@@ -1,32 +1,26 @@
-\r
-T5300.hs:11:7:\r
-    Could not deduce (C1 a b c0)\r
-      arising from the ambiguity check for `f1'\r
-    from the context (Monad m, C1 a b c)\r
-      bound by the type signature for\r
-                 f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a\r
-      at T5300.hs:11:7-50\r
-    The type variable `c0' is ambiguous\r
-    In the ambiguity check for:\r
-      forall a b (m :: * -> *) c.\r
-      (Monad m, C1 a b c) =>\r
-      a -> StateT (T b) m a\r
-    In the type signature for `f1':\r
-      f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a\r
-\r
-T5300.hs:14:7:\r
-    Could not deduce (C1 a1 b1 c10)\r
-      arising from the ambiguity check for `f2'\r
-    from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)\r
-      bound by the type signature for\r
-                 f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>\r
-                       a1 -> StateT (T b2) m a2\r
-      at T5300.hs:14:7-69\r
-    The type variable `c10' is ambiguous\r
-    In the ambiguity check for:\r
-      forall a1 b2 (m :: * -> *) a2 b1 c1 c2.\r
-      (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>\r
-      a1 -> StateT (T b2) m a2\r
-    In the type signature for `f2':\r
-      f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>\r
-            a1 -> StateT (T b2) m a2\r
+
+T5300.hs:11:7: error:
+    • Could not deduce (C1 a b c0)
+      from the context: (Monad m, C1 a b c)
+        bound by the type signature for:
+                   f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+        at T5300.hs:11:7-50
+      The type variable ‘c0’ is ambiguous
+    • In the ambiguity check for ‘f1’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+
+T5300.hs:14:7: error:
+    • Could not deduce (C1 a1 b1 c10)
+      from the context: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
+        bound by the type signature for:
+                   f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+                         a1 -> StateT (T b2) m a2
+        at T5300.hs:14:7-69
+      The type variable ‘c10’ is ambiguous
+    • In the ambiguity check for ‘f2’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+              a1 -> StateT (T b2) m a2