tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
index 728655f..589da0a 100644 (file)
@@ -1,16 +1,26 @@
 
-T5300.hs:15:9:
-    Could not deduce (C1 a1 b2 c0) arising from a use of `f1'
-    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 `c0' is ambiguous
-    Possible fix: add a type signature that fixes these type variable(s)
-    Relevant bindings include
-      f2 :: a1 -> StateT (T b2) m a2 (bound at T5300.hs:15:1)
-      fm :: a1 (bound at T5300.hs:15:4)
-    In the first argument of `(>>=)', namely `f1 fm'
-    In the expression: f1 fm >>= return . undefined
-    In an equation for `f2': f2 fm = f1 fm >>= return . undefined
+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