testsuite/tests/typecheck/should_run/KindInvariant.script


1
2
3
4
5
6
7
8
9
10
11
12

:set -XDataKinds -XKindSignatures -XMagicHash  -XPolyKinds
:m + Data.Kind GHC.Exts

data T (a :: k -> k')
:kind T State#

data T (a :: Type -> k')
:kind T State#

-- this should fail
data T (a :: Type -> Type)
:kind T State#