diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2020-10-15 17:55:34 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-29 03:53:52 -0400 |
commit | 0e9f6defbdc1f691ff7197b21e68ac16ffa4ab59 (patch) | |
tree | 1c9d9848db07596c19221fd195db81cdf6430385 /ghc/Main.hs | |
parent | 795908dc4eab8e8b40cb318a2adbe4a4d4126c74 (diff) | |
download | haskell-0e9f6defbdc1f691ff7197b21e68ac16ffa4ab59.tar.gz |
Split GHC.Driver.Types
I was working on making DynFlags stateless (#17957), especially by
storing loaded plugins into HscEnv instead of DynFlags. It turned out to
be complicated because HscEnv is in GHC.Driver.Types but LoadedPlugin
isn't: it is in GHC.Driver.Plugins which depends on GHC.Driver.Types. I
didn't feel like introducing yet another hs-boot file to break the loop.
Additionally I remember that while we introduced the module hierarchy
(#13009) we talked about splitting GHC.Driver.Types because it contained
various unrelated types and functions, but we never executed. I didn't
feel like making GHC.Driver.Types bigger with more unrelated Plugins
related types, so finally I bit the bullet and split GHC.Driver.Types.
As a consequence this patch moves a lot of things. I've tried to put
them into appropriate modules but nothing is set in stone.
Several other things moved to avoid loops.
* Removed Binary instances from GHC.Utils.Binary for random compiler
things
* Moved Typeable Binary instances into GHC.Utils.Binary.Typeable: they
import a lot of things that users of GHC.Utils.Binary don't want to
depend on.
* put everything related to Units/Modules under GHC.Unit:
GHC.Unit.Finder, GHC.Unit.Module.{ModGuts,ModIface,Deps,etc.}
* Created several modules under GHC.Types: GHC.Types.Fixity, SourceText,
etc.
* Split GHC.Utils.Error (into GHC.Types.Error)
* Finally removed GHC.Driver.Types
Note that this patch doesn't put loaded plugins into HscEnv. It's left
for another patch.
Bump haddock submodule
Diffstat (limited to 'ghc/Main.hs')
-rw-r--r-- | ghc/Main.hs | 65 |
1 files changed, 34 insertions, 31 deletions
diff --git a/ghc/Main.hs b/ghc/Main.hs index c079cb6893..41a2f9340a 100644 --- a/ghc/Main.hs +++ b/ghc/Main.hs @@ -18,58 +18,61 @@ module Main (main) where import qualified GHC import GHC (parseTargetFiles, Ghc, GhcMonad(..), Backend (..), LoadHowMuch(..) ) -import GHC.Driver.CmdLine --- Implementations of the various modes (--show-iface, mkdependHS. etc.) -import GHC.Iface.Load ( showIface ) +import GHC.Driver.CmdLine +import GHC.Driver.Env +import GHC.Driver.Phases +import GHC.Driver.Session hiding (WarnReason(..)) +import GHC.Driver.Ppr import GHC.Driver.Main ( newHscEnv ) import GHC.Driver.Pipeline ( oneShot, compileFile ) import GHC.Driver.MakeFile ( doMkDependHS ) import GHC.Driver.Backpack ( doBackpack ) +import GHC.Driver.Plugins + +import GHC.Platform import GHC.Platform.Ways -#if defined(HAVE_INTERNAL_INTERPRETER) -import GHCi.UI ( interactiveUI, ghciWelcomeMsg, defaultGhciSettings ) -#endif +import GHC.Platform.Host --- Frontend plugins -import GHC.Runtime.Loader ( loadFrontendPlugin ) -import GHC.Driver.Plugins #if defined(HAVE_INTERNAL_INTERPRETER) +import GHCi.UI ( interactiveUI, ghciWelcomeMsg, defaultGhciSettings ) import GHC.Runtime.Loader ( initializePlugins ) #endif -import GHC.Unit.Module ( ModuleName, mkModuleName ) +import GHC.Runtime.Loader ( loadFrontendPlugin ) + +import GHC.Unit.Module ( ModuleName, mkModuleName ) +import GHC.Unit.Module.ModIface +import GHC.Unit.State ( pprUnits, pprUnitsSimple ) +import GHC.Unit.Finder ( findImportedModule, cannotFindModule, FindResult(..) ) +import GHC.Unit.Types ( IsBootInterface(..) ) --- Various other random stuff that we need -import GHC.HandleEncoding -import GHC.Platform -import GHC.Platform.Host -import GHC.Settings.Config -import GHC.Settings.Constants -import GHC.Driver.Types -import GHC.Unit.State ( pprUnits, pprUnitsSimple ) -import GHC.Driver.Phases import GHC.Types.Basic ( failed ) -import GHC.Driver.Session hiding (WarnReason(..)) -import GHC.Driver.Ppr -import GHC.Utils.Error -import GHC.Data.FastString -import GHC.Utils.Outputable as Outputable -import GHC.SysTools.BaseDir -import GHC.Settings.IO import GHC.Types.SrcLoc +import GHC.Types.SourceError +import GHC.Types.Unique.Supply + +import GHC.Utils.Error import GHC.Utils.Misc import GHC.Utils.Panic -import GHC.Types.Unique.Supply +import GHC.Utils.Outputable as Outputable import GHC.Utils.Monad ( liftIO ) +import GHC.Utils.Binary ( openBinMem, put_ ) + +import GHC.Settings.Config +import GHC.Settings.Constants +import GHC.Settings.IO + +import GHC.HandleEncoding +import GHC.Data.FastString +import GHC.SysTools.BaseDir --- Imports for --abi-hash +import GHC.Iface.Load ( showIface ) import GHC.Iface.Load ( loadUserInterface ) -import GHC.Driver.Finder ( findImportedModule, cannotFindModule ) -import GHC.Tc.Utils.Monad ( initIfaceCheck ) -import GHC.Utils.Binary ( openBinMem, put_ ) import GHC.Iface.Recomp.Binary ( fingerprintBinMem ) +import GHC.Tc.Utils.Monad ( initIfaceCheck ) + -- Standard Haskell libraries import System.IO import System.Environment |