[commit: ghc] master: Testsuite wibble around decomposing newtypes. (f108003)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/f1080035c6ca959f3bf261133ab256f72d56c997/ghc

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

commit f1080035c6ca959f3bf261133ab256f72d56c997
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Jun 9 16:52:40 2015 -0400

    Testsuite wibble around decomposing newtypes.
    
    This is actually an improvement. Yay!


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

f1080035c6ca959f3bf261133ab256f72d56c997
 testsuite/tests/typecheck/should_fail/T10285.stderr |  5 ++++-
 testsuite/tests/typecheck/should_fail/T10534.stderr | 20 +++++++++-----------
 2 files changed, 13 insertions(+), 12 deletions(-)

diff --git a/testsuite/tests/typecheck/should_fail/T10285.stderr b/testsuite/tests/typecheck/should_fail/T10285.stderr
index b56f124..1ed2046 100644
--- a/testsuite/tests/typecheck/should_fail/T10285.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10285.stderr
@@ -1,6 +1,9 @@
 
 T10285.hs:8:17: error:
-    Could not deduce: a ~ 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).
diff --git a/testsuite/tests/typecheck/should_fail/T10534.stderr b/testsuite/tests/typecheck/should_fail/T10534.stderr
index 5f44426..ab2cde1 100644
--- a/testsuite/tests/typecheck/should_fail/T10534.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10534.stderr
@@ -1,6 +1,9 @@
 
-T10534a.hs:9:10: error:
-    Could not deduce: a ~ b
+T10534a.hs:10:9: error:
+    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 (DF a) (DF b)
       bound by the type signature for:
                silly :: Coercible (DF a) (DF b) => a -> b
@@ -11,12 +14,7 @@ T10534a.hs:9:10: error:
       ‘b’ is a rigid type variable bound by
           the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
           at T10534a.hs:9:10
-    arising from trying to show that the representations of
-      ‘DF a’ and
-      ‘DF b’ are the same
-    Relevant role signatures: type role DF nominal
-    In the ambiguity check for the type signature for ‘silly’:
-      silly :: forall a b. Coercible (DF a) (DF b) => a -> b
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘silly’:
-      silly :: Coercible (DF a) (DF b) => a -> b
+    Relevant bindings include
+      silly :: a -> b (bound at T10534a.hs:10:1)
+    In the expression: coerce
+    In an equation for ‘silly’: silly = coerce