[commit: testsuite] master: Error message change (04e1152)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/04e115218dc8c65c4fbb87b474bfe924ec94938f

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

commit 04e115218dc8c65c4fbb87b474bfe924ec94938f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Aug 16 11:44:41 2011 +0100

    Error message change

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

 tests/typecheck/should_fail/tcfail198.stderr |   17 +++++++++--------
 1 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/tests/typecheck/should_fail/tcfail198.stderr b/tests/typecheck/should_fail/tcfail198.stderr
index cc3ca54..27fbf92 100644
--- a/tests/typecheck/should_fail/tcfail198.stderr
+++ b/tests/typecheck/should_fail/tcfail198.stderr
@@ -1,9 +1,10 @@
 
-tcfail198.hs:6:17:
-    Couldn't match expected type `t0 -> t1'
-                with actual type `forall a. [a] -> [a]'
-    The lambda expression `\ (x : xs) -> xs ++ ...' has one argument,
-    but its type `forall a. [a] -> [a]' has none
-    In the first argument of `Just', namely
-      `(\ (x : xs) -> xs ++ [x :: a])'
-    In the expression: Just (\ (x : xs) -> xs ++ [x :: a])
+tcfail198.hs:6:36:
+    Couldn't match type `a' with `a1'
+      `a' is a rigid type variable bound by
+          the inferred type of f3 :: [a] -> [a] at tcfail198.hs:6:1
+      `a1' is a rigid type variable bound by
+           an expression type signature: a1 at tcfail198.hs:6:36
+    In the expression: x :: a
+    In the second argument of `(++)', namely `[x :: a]'
+    In the expression: xs ++ [x :: a]