Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / TypeSkolEscape.hs
1 {-# LANGUAGE RankNTypes, PolyKinds #-}
2 -- NB: -fprint-explicit-runtime-reps enabled in all.T
3
4 module TypeSkolEscape where
5
6 import GHC.Types
7 import GHC.Exts
8
9 type Bad = forall (v :: RuntimeRep) (a :: TYPE v). a