Commit bd56e724 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Kind error wibble

parent 96f9aff6
T7053.hs:6:52:
Expecting one more argument to `b'
In the type `TypeRep (a b)'
In the definition of data constructor `TyApp'
In the data declaration for `TypeRep'
T7053.hs:6:52:
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'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment