Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_run / KindInvariant.script
1 :set -XDataKinds -XKindSignatures -XMagicHash  -XPolyKinds
2 :m + Data.Kind GHC.Exts
3
4 data T (a :: k -> k')
5 :kind T State#
6
7 data T (a :: Type -> k')
8 :kind T State#
9
10 -- this should fail
11 data T (a :: Type -> Type)
12 :kind T State#