Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : ghc-kinds
http://hackage.haskell.org/trac/ghc/changeset/282d396f34243ba63fc7ccf1dd05795e6fc728f5 >--------------------------------------------------------------- commit 282d396f34243ba63fc7ccf1dd05795e6fc728f5 Author: Julien Cretin <g...@ia0.eu> Date: Mon Sep 12 14:42:27 2011 +0200 updating error messages for ConstraintKinds >--------------------------------------------------------------- .../indexed-types/should_fail/SimpleFail14.stderr | 2 +- tests/rename/should_fail/rnfail057.hs | 2 ++ tests/rename/should_fail/rnfail057.stderr | 5 ++--- tests/typecheck/should_fail/tcfail146.stderr | 2 +- tests/typecheck/should_fail/tcfail210.stderr | 5 ++--- 5 files changed, 8 insertions(+), 8 deletions(-) diff --git a/tests/indexed-types/should_fail/SimpleFail14.stderr b/tests/indexed-types/should_fail/SimpleFail14.stderr index 42bc53d..b001e55 100644 --- a/tests/indexed-types/should_fail/SimpleFail14.stderr +++ b/tests/indexed-types/should_fail/SimpleFail14.stderr @@ -1,7 +1,7 @@ SimpleFail14.hs:5:15: Predicate `a ~ a' used as a type - Expected kind `?', but `a ~ a' has kind `Constraint' + Expected kind `??', but `a ~ a' has kind `Constraint' In the type `a ~ a' In the definition of data constructor `T' In the data type declaration for `T' diff --git a/tests/rename/should_fail/rnfail057.hs b/tests/rename/should_fail/rnfail057.hs index df06881..88b5565 100644 --- a/tests/rename/should_fail/rnfail057.hs +++ b/tests/rename/should_fail/rnfail057.hs @@ -1,3 +1,5 @@ +{-# LANGUAGE KindSignatures #-} + module BindKindName where type Foo (a :: DontExistKind) = a diff --git a/tests/rename/should_fail/rnfail057.stderr b/tests/rename/should_fail/rnfail057.stderr index 556fab6..79a5ac7 100644 --- a/tests/rename/should_fail/rnfail057.stderr +++ b/tests/rename/should_fail/rnfail057.stderr @@ -1,4 +1,3 @@ -rnfail057.hs:3:16: - Unexpected named kind: - DontExistKind +rnfail057.hs:5:16: + Not in scope: type constructor or class `DontExistKind' diff --git a/tests/typecheck/should_fail/tcfail146.stderr b/tests/typecheck/should_fail/tcfail146.stderr index 9e1c99a..e66dc94 100644 --- a/tests/typecheck/should_fail/tcfail146.stderr +++ b/tests/typecheck/should_fail/tcfail146.stderr @@ -1,7 +1,7 @@ tcfail146.hs:7:22: Predicate `SClass a' used as a type - Expected kind `?', but `SClass a' has kind `Constraint' + Expected kind `??', but `SClass a' has kind `Constraint' In the type `SClass a' In the definition of data constructor `SCon' In the data type declaration for `SData' diff --git a/tests/typecheck/should_fail/tcfail210.stderr b/tests/typecheck/should_fail/tcfail210.stderr index d5b106a..bddaa52 100644 --- a/tests/typecheck/should_fail/tcfail210.stderr +++ b/tests/typecheck/should_fail/tcfail210.stderr @@ -1,5 +1,4 @@ tcfail210.hs:4:31: - Unexpected named kind: - Constraint - Perhaps you meant to use -XConstraintKinds? + Constraint is not in scope + Perhaps you meant to use -XConstraintKinds? _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
