summaryrefslogtreecommitdiff
path: root/compiler/main/UpdateCafInfos.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/main/UpdateCafInfos.hs')
-rw-r--r--compiler/main/UpdateCafInfos.hs11
1 files changed, 9 insertions, 2 deletions
diff --git a/compiler/main/UpdateCafInfos.hs b/compiler/main/UpdateCafInfos.hs
index a1287e88c6..dd4881ec6e 100644
--- a/compiler/main/UpdateCafInfos.hs
+++ b/compiler/main/UpdateCafInfos.hs
@@ -7,6 +7,7 @@ module UpdateCafInfos
import GhcPrelude
import GHC.Core
+import GHC.Driver.Session
import GHC.Driver.Types
import Id
import IdInfo
@@ -21,10 +22,16 @@ import Outputable
-- | Update CafInfos of all occurences (in rules, unfoldings, class instances)
updateModDetailsCafInfos
- :: NameSet -- ^ Non-CAFFY names in the module. Names not in this set are CAFFY.
+ :: DynFlags
+ -> NameSet -- ^ Non-CAFFY names in the module. Names not in this set are CAFFY.
-> ModDetails -- ^ ModDetails to update
-> ModDetails
-updateModDetailsCafInfos non_cafs mod_details =
+
+updateModDetailsCafInfos dflags _ mod_details
+ | gopt Opt_OmitInterfacePragmas dflags
+ = mod_details
+
+updateModDetailsCafInfos _ non_cafs mod_details =
{- pprTrace "updateModDetailsCafInfos" (text "non_cafs:" <+> ppr non_cafs) $ -}
let
ModDetails{ md_types = type_env -- for unfoldings