[commit: ghc] ghc-7.10: More trivial test fixes (2685f08)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-7.10
Link       : http://ghc.haskell.org/trac/ghc/changeset/2685f08459c8ad227d40e267b782619a936a8aac/ghc

>---------------------------------------------------------------

commit 2685f08459c8ad227d40e267b782619a936a8aac
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Oct 2 23:17:50 2015 +0200

    More trivial test fixes


>---------------------------------------------------------------

2685f08459c8ad227d40e267b782619a936a8aac
 testsuite/tests/typecheck/should_fail/T10285.stderr |  7 +++++--
 testsuite/tests/typecheck/should_fail/T10715.stderr | 12 +++++-------
 testsuite/tests/typecheck/should_fail/T7525.stderr  |  4 ++--
 3 files changed, 12 insertions(+), 11 deletions(-)

diff --git a/testsuite/tests/typecheck/should_fail/T10285.stderr b/testsuite/tests/typecheck/should_fail/T10285.stderr
index 47cfbec..e9bb56e 100644
--- a/testsuite/tests/typecheck/should_fail/T10285.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10285.stderr
@@ -1,7 +1,10 @@
 
 T10285.hs:8:17:
-    Could not deduce (a ~ b)
-    from the context (Coercible (N a) (N b))
+    Could not deduce: (Coercible a b)
+      arising from trying to show that the representations of
+        ‘a’ and
+        ‘b’ are the same
+    from the context: (Coercible (N a) (N b))
       bound by a pattern with constructor
                  Coercion :: forall (k :: BOX) (a :: k) (b :: k).
                              Coercible a b =>
diff --git a/testsuite/tests/typecheck/should_fail/T10715.stderr b/testsuite/tests/typecheck/should_fail/T10715.stderr
index e6f85a5..0f47b40 100644
--- a/testsuite/tests/typecheck/should_fail/T10715.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10715.stderr
@@ -1,13 +1,11 @@
 
-T10715.hs:9:13: error:
+T10715.hs:9:13:
     Couldn't match representation of type ‘a’ with that of ‘X a’
-    ‘a’ is a rigid type variable bound by
-        the type signature for:
-          doCoerce :: Coercible a (X a) => a -> X a
-        at T10715.hs:9:13
+      ‘a’ is a rigid type variable bound by
+          the type signature for doCoerce :: Coercible a (X a) => a -> X a
+          at T10715.hs:9:13
     Inaccessible code in
-      the type signature for:
-        doCoerce :: Coercible a (X a) => a -> X a
+      the type signature for doCoerce :: Coercible a (X a) => a -> X a
     In the ambiguity check for the type signature for ‘doCoerce’:
       doCoerce :: forall a. Coercible a (X a) => a -> X a
     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
diff --git a/testsuite/tests/typecheck/should_fail/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr
index ecf3eb1..e80e3dc 100644
--- a/testsuite/tests/typecheck/should_fail/T7525.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7525.stderr
@@ -1,8 +1,8 @@
 
 T7525.hs:5:30:
-    Could not deduce (?b::Bool)
+    Could not deduce: (?b::Bool)
       arising from a use of implicit parameter ‘?b’
-    from the context (?a::Bool)
+    from the context: (?a::Bool)
       bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31
     In the second argument of ‘(&&)’, namely ‘?b’
     In the expression: ?a && ?b