1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs b/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs
index 25da616583..fdd81c213d 100644
--- a/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs
+++ b/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs
@@ -1,10 +1,10 @@
 {-# LANGUAGE DataKinds
+           , PolyKinds
            , FlexibleContexts
            , FlexibleInstances
            , GADTs
            , MultiParamTypeClasses
            , OverloadedLabels
-           , PolyKinds
            , ScopedTypeVariables
            , TypeApplications
            , TypeOperators
@@ -14,11 +14,12 @@
 import GHC.OverloadedLabels
 import GHC.Records
 import GHC.TypeLits
+import Data.Kind
 
 data Label (x :: Symbol) = Label
 data Labelled x a = Label x := a
 
-data Rec :: [(k, *)] -> * where
+data Rec :: forall k. [(k, Type)] -> Type where
   Nil  :: Rec '[]
   (:>) :: Labelled x a -> Rec xs -> Rec ('(x, a) ': xs)
 infixr 5 :>