Fix #13391 by checking for kind-GADTs
[ghc.git] / testsuite / tests / dependent / should_compile / KindEqualities.hs
index 1f2e82c..4cba828 100644 (file)
@@ -1,8 +1,10 @@
-{-# LANGUAGE PolyKinds, GADTs, ExplicitForAll #-}
+{-# LANGUAGE TypeInType, GADTs, ExplicitForAll #-}
 {-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
 
 module KindEqualities where
 
+import Data.Kind
+
 data TyRep1 :: * -> * where
   TyInt1 :: TyRep1 Int
   TyBool1 :: TyRep1 Bool
@@ -13,7 +15,7 @@ zero1 TyBool1 = False
 
 data Proxy (a :: k) = P
 
-data TyRep :: k -> * where
+data TyRep :: forall k. k -> * where
   TyInt :: TyRep Int
   TyBool :: TyRep Bool
   TyMaybe :: TyRep Maybe