[commit: testsuite] master: Error change following up kind constraint solving modificatios. (af5a802)

[dimitris at microsoft.com]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/af5a80259f40cc8370c46f353631ccd0fac2e6b5

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

commit af5a80259f40cc8370c46f353631ccd0fac2e6b5
Author: Dimitrios Vytiniotis <dimitris at microsoft.com>
Date:   Thu Dec 22 10:46:01 2011 +0000

    Error change following up kind constraint solving modificatios.

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

 tests/indexed-types/should_fail/T3330c.stderr |   23 +++++++++++------------
 1 files changed, 11 insertions(+), 12 deletions(-)

diff --git a/tests/indexed-types/should_fail/T3330c.stderr b/tests/indexed-types/should_fail/T3330c.stderr
index 506f91e..b35db0d 100644
--- a/tests/indexed-types/should_fail/T3330c.stderr
+++ b/tests/indexed-types/should_fail/T3330c.stderr
@@ -1,18 +1,17 @@
 
-T3330c.hs:23:43:
-    Couldn't match type `Der ((->) x)' with `R'
-    In the first argument of `plug', namely `rf'
-    In the first argument of `Inl', namely `(plug rf df x)'
+T3330c.hs:23:33:
+    Kind incompatibility when matching types:
+      f0 :: * -> *
+      f0 x :: *
+    In the return type of a call of `Inl'
     In the expression: Inl (plug rf df x)
+    In an equation for plug':
+        plug' (RSum rf rg) (Inl df) x = Inl (plug rf df x)
 
 T3330c.hs:23:43:
-    Couldn't match type `f1' with `f1 x'
-      `f1' is a rigid type variable bound by
-           a pattern with constructor
-             RSum :: forall (f :: * -> *) (g :: * -> *).
-                     R f -> R g -> R (f :+: g),
-           in an equation for plug'
-           at T3330c.hs:23:8
+    Couldn't match kind `*' with `* -> *'
+    Kind incompatibility when matching types:
+      Der ((->) x) :: * -> *
+      R :: (* -> *) -> *
     In the first argument of `plug', namely `rf'
     In the first argument of `Inl', namely `(plug rf df x)'
-    In the expression: Inl (plug rf df x)