testsuite: Skip T17414 on Linux
[ghc.git] / testsuite / tests / typecheck / should_compile / T13879.hs
index 9708c1d..2e10c47 100644 (file)
@@ -2,7 +2,7 @@
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE DataKinds, PolyKinds #-}
 {-# LANGUAGE TypeOperators #-}
 module Bug where