Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / T7645.hs
index db086c8..b7a2af4 100644 (file)
@@ -1,8 +1,10 @@
 {-# LANGUAGE TypeOperators, KindSignatures #-}
 module T7645 where
 
+import Data.Kind
+
 data (+) a b = P
 
-f :: ((+) a (a :: *), Maybe)
+f :: ((+) a (a :: Type), Maybe)
 f = undefined