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’