[commit: testsuite] master: Better fundep error message (14443e7)

git at git.haskell.org git
Tue Oct 1 17:27:46 UTC 2013


Repository : ssh://git at git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/14443e760862276e20da9b4487b079db283ac544/testsuite

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

commit 14443e760862276e20da9b4487b079db283ac544
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Oct 1 18:27:21 2013 +0100

    Better fundep error message


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

14443e760862276e20da9b4487b079db283ac544
 tests/typecheck/should_fail/tcfail170.stderr |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/typecheck/should_fail/tcfail170.stderr b/tests/typecheck/should_fail/tcfail170.stderr
index 3f57d54..e6f9a3f 100644
--- a/tests/typecheck/should_fail/tcfail170.stderr
+++ b/tests/typecheck/should_fail/tcfail170.stderr
@@ -1,7 +1,7 @@
 
 tcfail170.hs:7:10:
     Illegal instance declaration for ?C [p] [q]?
-      The coverage condition fails for functional dependency: ?a -> b?
-      Reason: ?[p]? do not jointly determine ?[q]?
-      Using UndecidableInstances might help
+      The coverage condition fails in class ?C?
+        for functional dependency: ?a -> b?
+      Reason: lhs type ?[p]? does not deternine rhs type ?[q]?
     In the instance declaration for ?C [p] [q]?




More information about the ghc-commits mailing list