Add regression test for Trac #13659
[ghc.git] / testsuite / tests / polykinds / T13659.stderr
1
2 T13659.hs:12:27: error:
3     • Expected a type, but ‘a’ has kind ‘[*]’
4     • In the first argument of ‘Format’, namely ‘'[Int, a]’
5       In the type ‘Format '[Int, a]’
6       In the definition of data constructor ‘I’