Split up `GHC.Core` somewhatwip/rules-module

- `GHC.Core.Annotated` now contains annotated Core

- `GHC.Core.Rules` now contains the rules definitions

- `GHC.Core.Orphans` now contains the orphans *something*

- `GHC.Core.Unfoldings` now contains the unfoldings defintions

- The old `GHC.Core.Rules`, which was about applying rules, is now
  `GHC.Core.Rules.Apply`. Compare with `GHC.Core.Simplify.Inlin` which was also
  about operations not the data structures and simple predictes
  themselves (which is `GHC.Core.Unfold`).

3 files changed, 5 insertions, 4 deletions

diff --git a/compiler/GHC/Unit/External.hs b/compiler/GHC/Unit/External.hs
index ab5363749c..225bf5d6ba 100644
--- a/compiler/GHC/Unit/External.hs
+++ b/compiler/GHC/Unit/External.hs
@@ -24,7 +24,7 @@ import GHC.Unit.Module.ModIface
 import GHC.Core.FamInstEnv
 import GHC.Core.InstEnv ( InstEnv, emptyInstEnv )
 import GHC.Core.Opt.ConstantFold
-import GHC.Core.Rules ( RuleBase, mkRuleBase)
+import GHC.Core.Rules.Apply ( RuleBase, mkRuleBase)
 
 import GHC.Types.Annotations ( AnnEnv, emptyAnnEnv )
 import GHC.Types.CompleteMatch
diff --git a/compiler/GHC/Unit/Module/ModDetails.hs b/compiler/GHC/Unit/Module/ModDetails.hs
index 913f7e2087..47af59b712 100644
--- a/compiler/GHC/Unit/Module/ModDetails.hs
+++ b/compiler/GHC/Unit/Module/ModDetails.hs
@@ -4,7 +4,7 @@ module GHC.Unit.Module.ModDetails
    )
 where
 
-import GHC.Core         ( CoreRule )
+import GHC.Core.Rules  ( CoreRule )
 import GHC.Core.FamInstEnv
 import GHC.Core.InstEnv ( InstEnv, emptyInstEnv )
 
diff --git a/compiler/GHC/Unit/Module/ModGuts.hs b/compiler/GHC/Unit/Module/ModGuts.hs
index d54e836d71..f67ad8296c 100644
--- a/compiler/GHC/Unit/Module/ModGuts.hs
+++ b/compiler/GHC/Unit/Module/ModGuts.hs
@@ -18,7 +18,8 @@ import GHC.Unit.Module.Warnings
 
 import GHC.Core.InstEnv ( InstEnv, ClsInst )
 import GHC.Core.FamInstEnv
-import GHC.Core         ( CoreProgram, CoreRule )
+import GHC.Core         ( CoreProgram )
+import GHC.Core.Rules   ( CoreRule )
 import GHC.Core.TyCon
 import GHC.Core.PatSyn
 
@@ -67,7 +68,7 @@ data ModGuts
                                          -- ^ Family instances declared in this module
         mg_patsyns   :: ![PatSyn],       -- ^ Pattern synonyms declared in this module
         mg_rules     :: ![CoreRule],     -- ^ Before the core pipeline starts, contains
-                                         -- See Note [Overall plumbing for rules] in "GHC.Core.Rules"
+                                         -- See Note [Overall plumbing for rules] in "GHC.Core.Rules.Apply"
         mg_binds     :: !CoreProgram,    -- ^ Bindings for this module
         mg_foreign   :: !ForeignStubs,   -- ^ Foreign exports declared in this module
         mg_foreign_files :: ![(ForeignSrcLang, FilePath)],