Fix #13391 by checking for kind-GADTs
[ghc.git] / testsuite / tests / polykinds / T13391.stderr
1
2 T13391.hs:6:3: error:
3     • Data constructor ‘GInt’ constrains the choice of kind parameter:
4         k ~ *
5       Use TypeInType to allow this
6     • In the definition of data constructor ‘GInt’
7       In the data type declaration for ‘G’