Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T13963.script
1 :set -XPolyKinds -XDataKinds -XRankNTypes
2 import GHC.Exts (TYPE, RuntimeRep(LiftedRep))
3 type Pair (a :: TYPE rep) (b :: TYPE rep') rep'' = forall (r :: TYPE rep''). (a -> b -> r)
4 :kind Pair
5 :kind Pair Int
6 :kind Pair Int Float
7 :kind Pair Int Float LiftedRep
8
9 :set -fprint-explicit-runtime-reps
10 :kind Pair
11 :kind Pair Int
12 :kind Pair Int Float
13 :kind Pair Int Float LiftedRep