Fix #13391 by checking for kind-GADTs
[ghc.git] / testsuite / tests / overloadedrecflds / should_run / overloadedrecfldsrun07.hs
index 25da616..c492ac8 100644 (file)
@@ -4,7 +4,7 @@
            , GADTs
            , MultiParamTypeClasses
            , OverloadedLabels
-           , PolyKinds
+           , TypeInType
            , ScopedTypeVariables
            , TypeApplications
            , TypeOperators
 
 import GHC.OverloadedLabels
 import GHC.Records
-import GHC.TypeLits
+import GHC.TypeLits hiding (type (*))
+import Data.Kind
 
 data Label (x :: Symbol) = Label
 data Labelled x a = Label x := a
 
-data Rec :: [(k, *)] -> * where
+data Rec :: forall k. [(k, *)] -> * where
   Nil  :: Rec '[]
   (:>) :: Labelled x a -> Rec xs -> Rec ('(x, a) ': xs)
 infixr 5 :>