Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T5716.stderr
1
2 T5716.hs:14:39: error:
3     • Data constructor ‘DFInt’ cannot be used here
4         (it comes from a data family instance)
5     • In the first argument of ‘U1’, namely ‘DFInt’
6       In the first argument of ‘I’, namely ‘(U1 DFInt)’
7       In the type ‘I (U1 DFInt)’