forked from haskell/cabal
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Refactor the core component building logic
1. Refactors the duplicated `buildExtraSources` function from `gbuild` and `buildOrReplLib` into a standalone monadic computation in the context of building a component. This refactor allows us to share the code for building an extra source amongst the two functions, and paves the way to fixing haskell#9389. 2. Creates a new module Distribution.Simple.GHC.Build.Modules which, in the same spirit as ...GHC.Build.ExtraModules, defines an action which builds all the Haskell modules of the component being built. This function clarifies and re-implements the logic of building Haskell modules in the different possible ways, while accounting for Template Haskell special "way requirements", which was previously duplicated in a non-obvious manner in gbuild and buildOrReplLib. The Note [Building Haskell modules accounting for TH] in that module explains the big picture, and the implementation is re-done in light of it. 3. Re-work the linker invocations, focusing on preserving existing behaviour before simplifying or fixing bugs any further.
- Loading branch information
Showing
15 changed files
with
1,900 additions
and
1,755 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,74 @@ | ||
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | ||
{-# LANGUAGE NamedFieldPuns #-} | ||
{-# LANGUAGE PatternSynonyms #-} | ||
|
||
module Distribution.Simple.Build.Inputs | ||
( -- * Inputs of actions for building components | ||
PreBuildComponentInputs (..) | ||
|
||
-- * Queries over the component being built | ||
, buildVerbosity | ||
, buildComponent | ||
, buildIsLib | ||
, buildCLBI | ||
, buildBI | ||
, buildCompiler | ||
|
||
-- * Re-exports | ||
, BuildingWhat (..) | ||
, LocalBuildInfo (..) | ||
, TargetInfo (..) | ||
, buildingWhatVerbosity | ||
, buildingWhatDistPref | ||
) | ||
where | ||
|
||
import Distribution.Simple.Compiler | ||
import Distribution.Simple.Setup (BuildingWhat (..), buildingWhatDistPref, buildingWhatVerbosity) | ||
import Distribution.Types.BuildInfo | ||
import Distribution.Types.Component | ||
import Distribution.Types.ComponentLocalBuildInfo | ||
import Distribution.Types.LocalBuildInfo | ||
import Distribution.Types.TargetInfo | ||
import Distribution.Verbosity | ||
|
||
-- | The information required for a build computation which is available right | ||
-- before building each component, i.e. the pre-build component inputs. | ||
data PreBuildComponentInputs = PreBuildComponentInputs | ||
{ buildingWhat :: BuildingWhat | ||
-- ^ What kind of build are we doing? | ||
, localBuildInfo :: LocalBuildInfo | ||
-- ^ Information about the package | ||
, targetInfo :: TargetInfo | ||
-- ^ Information about an individual component | ||
} | ||
|
||
-- | Get the @'Verbosity'@ from the context the component being built is in. | ||
buildVerbosity :: PreBuildComponentInputs -> Verbosity | ||
buildVerbosity = buildingWhatVerbosity . buildingWhat | ||
|
||
-- | Get the @'Component'@ being built. | ||
buildComponent :: PreBuildComponentInputs -> Component | ||
buildComponent = targetComponent . targetInfo | ||
|
||
-- | Is the @'Component'@ being built a @'Library'@? | ||
buildIsLib :: PreBuildComponentInputs -> Bool | ||
buildIsLib = do | ||
component <- buildComponent | ||
let isLib | ||
| CLib{} <- component = True | ||
| otherwise = False | ||
return isLib | ||
{-# INLINE buildIsLib #-} | ||
|
||
-- | Get the @'ComponentLocalBuildInfo'@ for the component being built. | ||
buildCLBI :: PreBuildComponentInputs -> ComponentLocalBuildInfo | ||
buildCLBI = targetCLBI . targetInfo | ||
|
||
-- | Get the @'BuildInfo'@ of the component being built. | ||
buildBI :: PreBuildComponentInputs -> BuildInfo | ||
buildBI = componentBuildInfo . buildComponent | ||
|
||
-- | Get the @'Compiler'@ being used to build the component. | ||
buildCompiler :: PreBuildComponentInputs -> Compiler | ||
buildCompiler = compiler . localBuildInfo |
Oops, something went wrong.