Accept changes

testsuite/tests/ghc-regress/indexed-types/should_fail/T1900.stderr

@@ -8,7 +8,7 @@ T1900.hs:11:12:
     In the instance declaration for `Bug Int'
 
 T1900.hs:14:16:
-    Could not deduce (Depend s ~ Depend s1) from the context (Bug s1)
+    Could not deduce (Depend s1 ~ Depend s) from the context (Bug s1)
     NB: `Depend' is a type function, and may not be injective
     In the second argument of `(==)', namely `trans d'
     In the expression: d == trans d

testsuite/tests/ghc-regress/indexed-types/should_fail/T2693.stderr

-
-T2693.hs:10:15:
-    Couldn't match type `TFn a' with `(a1, b)'
-    In the first argument of `fst', namely `x'
-    In the first argument of `(+)', namely `fst x'
-    In the expression: fst x + fst x
+
+T2693.hs:9:16:
+    Couldn't match type `TFn a' with `(a1, b)'
+    In the expression: undefined :: Maybe (TFn a)
+    In a pattern binding: Just x = undefined :: Maybe (TFn a)
+    In the expression:
+      do { let Just x = ...;
+           let n = fst x + fst x;
+           return () }

testsuite/tests/ghc-regress/indexed-types/should_fail/T4179.stderr

-
-T4179.hs:26:16:
-    Could not deduce (DoC (x (A2 (FCon x) -> A3 (FCon x))))
-      from the context (Functor x, DoC (FCon x))
-      arising from a use of `op'
-    Possible fix:
-      add (DoC (x (A2 (FCon x) -> A3 (FCon x)))) to the context of
-        the type signature for `fCon'
-      or add an instance declaration for
-         (DoC (x (A2 (FCon x) -> A3 (FCon x))))
-    In the first argument of `foldDoC', namely `op'
-    In the expression: foldDoC op
-    In an equation for `fCon': fCon = foldDoC op
-
-T4179.hs:26:16:
-    Could not deduce (A2 (x (A2 (FCon x) -> A3 (FCon x)))
-                        ~
-                      A2 (FCon x))
-      from the context (Functor x, DoC (FCon x))
-    NB: `A2' is a type function, and may not be injective
-    In the first argument of `foldDoC', namely `op'
-    In the expression: foldDoC op
-    In an equation for `fCon': fCon = foldDoC op
-
-T4179.hs:26:16:
-    Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))
-                        ~
-                      A3 (FCon x))
-      from the context (Functor x, DoC (FCon x))
-    NB: `A3' is a type function, and may not be injective
-    In the first argument of `foldDoC', namely `op'
-    In the expression: foldDoC op
-    In an equation for `fCon': fCon = foldDoC op
+
+T4179.hs:26:16:
+    Could not deduce (DoC (x (A2 (FCon x) -> A3 (FCon x))))
+      from the context (Functor x, DoC (FCon x))
+      arising from a use of `op'
+    Possible fix:
+      add (DoC (x (A2 (FCon x) -> A3 (FCon x)))) to the context of
+        the type signature for `fCon'
+      or add an instance declaration for
+         (DoC (x (A2 (FCon x) -> A3 (FCon x))))
+    In the first argument of `foldDoC', namely `op'
+    In the expression: foldDoC op
+    In an equation for `fCon': fCon = foldDoC op
+
+T4179.hs:26:16:
+    Could not deduce (A2 (x (A2 (FCon x) -> A3 (FCon x)))
+                        ~
+                      A2 (FCon x))
+      from the context (Functor x, DoC (FCon x))
+    NB: `A2' is a type function, and may not be injective
+    Expected type: A2 (FCon x) -> A3 (FCon x)
+      Actual type: A2 (x (A2 (FCon x) -> A3 (FCon x)))
+                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))
+    In the first argument of `foldDoC', namely `op'
+    In the expression: foldDoC op
+    In an equation for `fCon': fCon = foldDoC op
+
+T4179.hs:26:16:
+    Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))
+                        ~
+                      A3 (FCon x))
+      from the context (Functor x, DoC (FCon x))
+    NB: `A3' is a type function, and may not be injective
+    Expected type: A2 (FCon x) -> A3 (FCon x)
+      Actual type: A2 (x (A2 (FCon x) -> A3 (FCon x)))
+                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))
+    In the first argument of `foldDoC', namely `op'
+    In the expression: foldDoC op
+    In an equation for `fCon': fCon = foldDoC op