[commit: testsuite] master: Kind error wibble (a972776)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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'