Expose enabled language extensions to TH
[ghc.git] / compiler / typecheck / Inst.hs
index bd27a18..fba320c 100644 (file)
@@ -43,7 +43,6 @@ import TysWiredIn  ( heqDataCon )
 import FunDeps
 import TcMType
 import Type
-import Coercion ( Role(..) )
 import TcType
 import HscTypes
 import Class( Class )
@@ -57,6 +56,8 @@ import SrcLoc
 import DynFlags
 import Util
 import Outputable
+import qualified GHC.LanguageExtensions as LangExt
+
 import Control.Monad( unless )
 import Data.Maybe( isJust )
 
@@ -410,8 +411,8 @@ getOverlapFlag :: Maybe OverlapMode -> TcM OverlapFlag
 --     set the OverlapMode to 'm'
 getOverlapFlag overlap_mode
   = do  { dflags <- getDynFlags
-        ; let overlap_ok    = xopt Opt_OverlappingInstances dflags
-              incoherent_ok = xopt Opt_IncoherentInstances  dflags
+        ; let overlap_ok    = xopt LangExt.OverlappingInstances dflags
+              incoherent_ok = xopt LangExt.IncoherentInstances  dflags
               use x = OverlapFlag { isSafeOverlap = safeLanguageOn dflags
                                   , overlapMode   = x }
               default_oflag | incoherent_ok = use (Incoherent "")