Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T15245.stderr
1
2 T15245.hs:10:24: error:
3     • Data constructor ‘MkK’ cannot be used here
4         (it comes from a data family instance)
5     • In the type ‘ 'MkK’
6       In the first argument of ‘print’, namely ‘(typeRep @ 'MkK)’
7       In the expression: print (typeRep @ 'MkK)