diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/basicTypes/MkId.hs | 2 | ||||
| -rw-r--r-- | compiler/iface/TcIface.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/FamInst.hs | 2 | ||||
| -rw-r--r-- | compiler/types/TypeRep.hs | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/compiler/basicTypes/MkId.hs b/compiler/basicTypes/MkId.hs index 698c86566d..6f812def6b 100644 --- a/compiler/basicTypes/MkId.hs +++ b/compiler/basicTypes/MkId.hs @@ -12,7 +12,7 @@ have a standard form, namely: - primitive operations -} -{-# LANGUAGE CPP, DataKinds #-} +{-# LANGUAGE CPP #-} module MkId ( mkDictFunId, mkDictFunTy, mkDictSelId, mkDictSelRhs, diff --git a/compiler/iface/TcIface.hs b/compiler/iface/TcIface.hs index b601dc656a..5189b3c5a8 100644 --- a/compiler/iface/TcIface.hs +++ b/compiler/iface/TcIface.hs @@ -6,7 +6,7 @@ Type checking of type signatures in interface files -} -{-# LANGUAGE CPP, DataKinds #-} +{-# LANGUAGE CPP #-} module TcIface ( tcLookupImported_maybe, diff --git a/compiler/typecheck/FamInst.hs b/compiler/typecheck/FamInst.hs index 978e92e34c..b598f2a21f 100644 --- a/compiler/typecheck/FamInst.hs +++ b/compiler/typecheck/FamInst.hs @@ -1,6 +1,6 @@ -- The @FamInst@ type: family instance heads -{-# LANGUAGE CPP, GADTs, DataKinds #-} +{-# LANGUAGE CPP, GADTs #-} module FamInst ( FamInstEnvs, tcGetFamInstEnvs, diff --git a/compiler/types/TypeRep.hs b/compiler/types/TypeRep.hs index b732247b3d..9a4bccf310 100644 --- a/compiler/types/TypeRep.hs +++ b/compiler/types/TypeRep.hs @@ -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 |