Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/af5a80259f40cc8370c46f353631ccd0fac2e6b5 >--------------------------------------------------------------- commit af5a80259f40cc8370c46f353631ccd0fac2e6b5 Author: Dimitrios Vytiniotis <[email protected]> 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) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
