[commit: testsuite] ghc-kinds: updating error messages for ConstraintKinds (282d396)

[Julien Cretin]

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 <ghc at 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?