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 <g...@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' _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
