testsuite/tests/polykinds/T7053.stderr


1
2
3
4
5
6
7
8


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’