Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T13407.script
1 :set -XPolyKinds -XRankNTypes
2 import Data.Kind
3 data Foo :: (Type -> Type) -> (forall k. k -> Type)
4 :info Foo