[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