Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T11252.script
1 :set -XPolyKinds
2 data Proxy1 k (a :: k) = Proxy1
3 :kind Proxy1