Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/220dfffde73b439b5b74e7bb570173f9511e9d75

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

commit 220dfffde73b439b5b74e7bb570173f9511e9d75
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Jun 13 17:26:12 2012 +0100

    Improved error message

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

 tests/typecheck/should_fail/T5246.stderr |    8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/tests/typecheck/should_fail/T5246.stderr 
b/tests/typecheck/should_fail/T5246.stderr
index 3886cde..b37fbf3 100644
--- a/tests/typecheck/should_fail/T5246.stderr
+++ b/tests/typecheck/should_fail/T5246.stderr
@@ -1,6 +1,10 @@
 
 T5246.hs:11:10:
-    Couldn't match type `Int' with `[Char]'
+    Couldn't match type `[Char]' with `Int'
+    When using functional dependencies to combine
+      ?x::[Char],
+        arising from the implicit-parameter bindings for ?x
+        at T5246.hs:(10,7)-(11,12)
+      ?x::Int, arising from a use of `foo' at T5246.hs:11:10-12
     In the expression: foo
     In the expression: let ?x = "hello" in foo
-    In an equation for `bar': bar = let ?x = "hello" in foo



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to