Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/a972776ce73f118b5d413a151dd6f628ddd658b9 >--------------------------------------------------------------- commit a972776ce73f118b5d413a151dd6f628ddd658b9 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Fri Oct 19 11:59:40 2012 +0100 Kind error wibble >--------------------------------------------------------------- tests/polykinds/T7053.stderr | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/tests/polykinds/T7053.stderr b/tests/polykinds/T7053.stderr index 040a31e..ab85797 100644 --- a/tests/polykinds/T7053.stderr +++ b/tests/polykinds/T7053.stderr @@ -1,6 +1,8 @@ T7053.hs:6:52: - Expecting one more argument to `b' + Kind occurs check + The first argument of `a' should have kind `k0', + but `b' has kind `k0 -> k1' In the type `TypeRep (a b)' In the definition of data constructor `TyApp' In the data declaration for `TypeRep' _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
