tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
index 14e069a..589da0a 100644 (file)
@@ -1,32 +1,26 @@
 
-T5300.hs:11:7:
-    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 the type signature for ‘f1’:
-      f1 :: forall a b (m :: * -> *) c.
-            (Monad m, C1 a b c) =>
-            a -> StateT (T b) m a
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘f1’:
-      f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+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:
-    Could not deduce (C2 a2 b2 c20)
-    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 ‘c20’ is ambiguous
-    In the ambiguity check for the type signature for ‘f2’:
-      f2 :: forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
-            (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
-            a1 -> StateT (T b2) m a2
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘f2’:
-      f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
-            a1 -> StateT (T b2) m a2
+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