Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T7873.script
1 :set -XPolyKinds -XRankNTypes -XGADTs
2 data D1 = MkD1 (forall p (a :: k). p a -> Int)
3 data D2 = MkD2 (forall p a. p a -> Int)
4 data D3 = MkD3 (forall k p (a :: k). p a -> Int)
5 :i D2
6 :i D3