[commit: testsuite] ghc-kinds: fix expected kind in kcHsSigType from Open to Arg (8f2df7a)

[Julien Cretin]

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

On branch  : ghc-kinds

http://hackage.haskell.org/trac/ghc/changeset/8f2df7ac48a4b78eaaa3ed5388613004feb3c825

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

commit 8f2df7ac48a4b78eaaa3ed5388613004feb3c825
Author: Julien Cretin <ghc at ia0.eu>
Date:   Thu Sep 1 17:05:40 2011 +0200

    fix expected kind in kcHsSigType from Open to Arg

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

 tests/gadt/gadt10.stderr                     |    2 +-
 tests/typecheck/should_fail/tcfail028.stderr |    2 +-
 tests/typecheck/should_fail/tcfail087.stderr |    6 ++++--
 tests/typecheck/should_fail/tcfail136.stderr |    2 +-
 tests/typecheck/should_fail/tcfail147.stderr |    2 +-
 tests/typecheck/should_fail/tcfail148.stderr |    2 +-
 tests/typecheck/should_fail/tcfail162.stderr |    2 +-
 7 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/tests/gadt/gadt10.stderr b/tests/gadt/gadt10.stderr
index 100c84b..7858f51 100644
--- a/tests/gadt/gadt10.stderr
+++ b/tests/gadt/gadt10.stderr
@@ -1,7 +1,7 @@
 
 gadt10.hs:6:24:
     `RInt' is not applied to enough type arguments
-    Expected kind `?', but `RInt' has kind `k0 -> *'
+    Expected kind `??', but `RInt' has kind `k0 -> *'
     In the type `RInt'
     In the definition of data constructor `R'
     In the data type declaration for `RInt'
diff --git a/tests/typecheck/should_fail/tcfail028.stderr b/tests/typecheck/should_fail/tcfail028.stderr
index 7ad9ecb..e6d06db 100644
--- a/tests/typecheck/should_fail/tcfail028.stderr
+++ b/tests/typecheck/should_fail/tcfail028.stderr
@@ -1,7 +1,7 @@
 
 tcfail028.hs:4:17:
     `A a' is not applied to enough type arguments
-    Expected kind `?', but `A a' has kind `k0 -> *'
+    Expected kind `??', but `A a' has kind `k0 -> *'
     In the type `A a'
     In the definition of data constructor `B'
     In the data type declaration for `A'
diff --git a/tests/typecheck/should_fail/tcfail087.stderr b/tests/typecheck/should_fail/tcfail087.stderr
index 17d9f48..b9e9d2f 100644
--- a/tests/typecheck/should_fail/tcfail087.stderr
+++ b/tests/typecheck/should_fail/tcfail087.stderr
@@ -1,5 +1,7 @@
 
-tcfail087.hs:6:11:
-    Illegal unboxed tuple type as function argument: (# Int, Int #)
+tcfail087.hs:6:14:
+    Kind mis-match
+    Expected kind `??', but `(# Int, Int #)' has kind `(#)'
+    In the type `(# Int, Int #)'
     In the definition of data constructor `Ex'
     In the data type declaration for `Ex'
diff --git a/tests/typecheck/should_fail/tcfail136.stderr b/tests/typecheck/should_fail/tcfail136.stderr
index cdeff3c..229cd1f 100644
--- a/tests/typecheck/should_fail/tcfail136.stderr
+++ b/tests/typecheck/should_fail/tcfail136.stderr
@@ -1,7 +1,7 @@
 
 tcfail136.hs:9:35:
     `SymDict' is not applied to enough type arguments
-    Expected kind `?', but `SymDict' has kind `* -> *'
+    Expected kind `??', but `SymDict' has kind `* -> *'
     In the type `SymDict'
     In the definition of data constructor `SymTable'
     In the data type declaration for `SymTable'
diff --git a/tests/typecheck/should_fail/tcfail147.stderr b/tests/typecheck/should_fail/tcfail147.stderr
index 81e77fe..a7687b1 100644
--- a/tests/typecheck/should_fail/tcfail147.stderr
+++ b/tests/typecheck/should_fail/tcfail147.stderr
@@ -1,7 +1,7 @@
 
 tcfail147.hs:7:19:
     `XClass' is not applied to enough type arguments
-    Expected kind `?', but `XClass' has kind `k0 -> *'
+    Expected kind `??', but `XClass' has kind `k0 -> *'
     In the type `XClass'
     In the definition of data constructor `XCon'
     In the data type declaration for `XData'
diff --git a/tests/typecheck/should_fail/tcfail148.stderr b/tests/typecheck/should_fail/tcfail148.stderr
index 13d4293..670f440 100644
--- a/tests/typecheck/should_fail/tcfail148.stderr
+++ b/tests/typecheck/should_fail/tcfail148.stderr
@@ -1,7 +1,7 @@
 
 tcfail148.hs:5:28:
     `List' is not applied to enough type arguments
-    Expected kind `?', but `List' has kind `* -> *'
+    Expected kind `??', but `List' has kind `* -> *'
     In the type `List'
     In the definition of data constructor `Cons'
     In the data type declaration for `List'
diff --git a/tests/typecheck/should_fail/tcfail162.stderr b/tests/typecheck/should_fail/tcfail162.stderr
index ae7b1c5..d4c3903 100644
--- a/tests/typecheck/should_fail/tcfail162.stderr
+++ b/tests/typecheck/should_fail/tcfail162.stderr
@@ -1,7 +1,7 @@
 
 tcfail162.hs:10:16:
     `ForeignPtr' is not applied to enough type arguments
-    Expected kind `?', but `ForeignPtr' has kind `* -> *'
+    Expected kind `??', but `ForeignPtr' has kind `* -> *'
     In the type `{-# UNPACK #-} !ForeignPtr'
     In the definition of data constructor `Foo'
     In the data type declaration for `Foo'