Remove redundant language extensions
authorJan Stolarek <jan.stolarek@p.lodz.pl>
Fri, 11 Sep 2015 21:44:42 +0000 (23:44 +0200)
committerJan Stolarek <jan.stolarek@p.lodz.pl>
Fri, 11 Sep 2015 23:24:18 +0000 (01:24 +0200)
compiler/basicTypes/MkId.hs
compiler/iface/TcIface.hs
compiler/typecheck/FamInst.hs
compiler/types/TypeRep.hs

index 698c865..6f812de 100644 (file)
@@ -12,7 +12,7 @@ have a standard form, namely:
 - primitive operations
 -}
 
-{-# LANGUAGE CPP, DataKinds #-}
+{-# LANGUAGE CPP #-}
 
 module MkId (
         mkDictFunId, mkDictFunTy, mkDictSelId, mkDictSelRhs,
index b601dc6..5189b3c 100644 (file)
@@ -6,7 +6,7 @@
 Type checking of type signatures in interface files
 -}
 
-{-# LANGUAGE CPP, DataKinds #-}
+{-# LANGUAGE CPP #-}
 
 module TcIface (
         tcLookupImported_maybe,
index 978e92e..b598f2a 100644 (file)
@@ -1,6 +1,6 @@
 -- The @FamInst@ type: family instance heads
 
-{-# LANGUAGE CPP, GADTs, DataKinds #-}
+{-# LANGUAGE CPP, GADTs #-}
 
 module FamInst (
         FamInstEnvs, tcGetFamInstEnvs,
index b732247..9a4bccf 100644 (file)
@@ -16,7 +16,7 @@ Note [The Type-related module hierarchy]
 -}
 
 {-# LANGUAGE CPP, DeriveDataTypeable, DeriveFunctor, DeriveFoldable,
-             DeriveTraversable, DataKinds #-}
+             DeriveTraversable #-}
 {-# OPTIONS_HADDOCK hide #-}
 -- We expose the relevant stuff from this module via the Type module