[commit: ghc] ghc-7.10: Fix tests (f05a75c)

git at git.haskell.org git at git.haskell.org
Thu Oct 22 15:09:47 UTC 2015


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

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

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

commit f05a75c0831ce9a5dd92c595fececb78c2de4977
Author: Ben Gamari <bgamari.foss at gmail.com>
Date:   Tue Oct 20 14:05:45 2015 -0400

    Fix tests


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

f05a75c0831ce9a5dd92c595fececb78c2de4977
 testsuite/tests/typecheck/should_fail/T10285.stderr | 7 ++-----
 testsuite/tests/typecheck/should_fail/T7525.stderr  | 4 ++--
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/testsuite/tests/typecheck/should_fail/T10285.stderr b/testsuite/tests/typecheck/should_fail/T10285.stderr
index e9bb56e..47cfbec 100644
--- a/testsuite/tests/typecheck/should_fail/T10285.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10285.stderr
@@ -1,10 +1,7 @@
 
 T10285.hs:8:17:
-    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))
+    Could not deduce (a ~ b)
+    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/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr
index e80e3dc..ecf3eb1 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



More information about the ghc-commits mailing list