Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / T12973.hs
index 624d24b..b0a33a8 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE RebindableSyntax, TypeInType, ExplicitForAll #-}
+{-# LANGUAGE RebindableSyntax, PolyKinds, ExplicitForAll #-}
 
 module T12973 where