cabal haddock: imply dependencies, but gentler

Author: ulysses4ever

cabal-install/cabal-install.cabal

@@ -209,6 +209,7 @@ library
         Distribution.Client.Types
         Distribution.Client.Types.AllowNewer
         Distribution.Client.Types.BuildResults
+        Distribution.Client.Types.Command
         Distribution.Client.Types.ConfiguredId
         Distribution.Client.Types.ConfiguredPackage
         Distribution.Client.Types.Credentials

cabal-install/src/Distribution/Client/CmdHaddock.hs

@@ -35,7 +35,6 @@ import Distribution.Client.Setup
   ( CommonSetupFlags (..)
   , ConfigFlags (..)
   , GlobalFlags
-  , InstallFlags (..)
   )
 import Distribution.Client.TargetProblem
   ( TargetProblem (..)
@@ -151,9 +150,7 @@ haddockAction relFlags targetStrings globalFlags = do
 
   let
     verbosity = fromFlagOrDefault normal (setupVerbosity $ configCommonFlags configFlags)
-    installDoc = fromFlagOrDefault True (installDocumentation installFlags)
-    flags' = flags{installFlags = installFlags{installDocumentation = Flag installDoc}}
-    cliConfig = commandLineFlagsToProjectConfig globalFlags flags' mempty -- ClientInstallFlags, not needed here
+    cliConfig = commandLineFlagsToProjectConfig globalFlags flags mempty -- ClientInstallFlags, not needed here
   projCtx <- establishProjectBaseContext verbosity cliConfig HaddockCommand
 
   let relBaseCtx@ProjectBaseContext{projectConfig = relProjectConfig}

cabal-install/src/Distribution/Client/ProjectOrchestration.hs

@@ -135,7 +135,8 @@ import Distribution.Client.TargetSelector
   , reportTargetSelectorProblems
   )
 import Distribution.Client.Types
-  ( DocsResult (..)
+  ( CurrentCommand (..)
+  , DocsResult (..)
   , GenericReadyPackage (..)
   , PackageLocation (..)
   , PackageSpecifier (..)
@@ -230,11 +231,6 @@ import           System.Posix.Signals (sigKILL, sigSEGV)
 
 #endif
 
--- | Tracks what command is being executed, because we need to hide this somewhere
--- for cases that need special handling (usually for error reporting).
-data CurrentCommand = InstallCommand | HaddockCommand | BuildCommand | ReplCommand | OtherCommand
-  deriving (Show, Eq)
-
 -- | This holds the context of a project prior to solving: the content of the
 -- @cabal.project@, @cabal/config@ and all the local package @.cabal@ files.
 data ProjectBaseContext = ProjectBaseContext
@@ -286,6 +282,7 @@ establishProjectBaseContextWithRoot verbosity cliConfig projectRoot currentComma
       httpTransport
       distDirLayout
       cliConfig
+      currentCommand
 
   let ProjectConfigBuildOnly
         { projectConfigLogsDir

cabal-install/src/Distribution/Client/ProjectPlanning.hs

@@ -354,6 +354,7 @@ rebuildProjectConfig
   -> HttpTransport
   -> DistDirLayout
   -> ProjectConfig
+  -> CurrentCommand
   -> IO
       ( ProjectConfig
       , [PackageSpecifier UnresolvedSourcePackage]
@@ -368,7 +369,8 @@ rebuildProjectConfig
     , distProjectCacheDirectory
     , distProjectFile
     }
-  cliConfig = do
+  cliConfig
+  currentCommand = do
     progsearchpath <- liftIO $ getSystemSearchPath
 
     let fileMonitorProjectConfig = newFileMonitor (distProjectCacheFile "config")
@@ -415,14 +417,22 @@ rebuildProjectConfig
       notice (verboseStderr verbosity) . render . vcat $
         text "Configuration is affected by the following files:" : configfiles
 
-    return (projectConfig <> cliConfig, localPackages)
+    return (commandDefaults currentCommand <> projectConfig <> cliConfig, localPackages)
     where
       ProjectConfigShared{projectConfigHcFlavor, projectConfigHcPath, projectConfigHcPkg, projectConfigIgnoreProject, projectConfigConfigFile} =
         projectConfigShared cliConfig
 
       PackageConfig{packageConfigProgramPaths, packageConfigProgramPathExtra} =
         projectConfigLocalPackages cliConfig
 
+      -- Some commands may require special defaults
+      commandDefaults HaddockCommand = -- `cabal haddock` emplies --enable-documentation, #7462
+        mempty
+          { projectConfigAllPackages = mempty { packageConfigDocumentation = pure True }
+          , projectConfigLocalPackages = mempty { packageConfigDocumentation = pure True }
+          }
+      commandDefaults _ = mempty
+
       -- Read the cabal.project (or implicit config) and combine it with
       -- arguments from the command line
       --

cabal-install/src/Distribution/Client/Types.hs

@@ -17,6 +17,7 @@
 -- Various common data types for the entire cabal-install system
 module Distribution.Client.Types
   ( module Distribution.Client.Types.AllowNewer
+  , module Distribution.Client.Types.Command
   , module Distribution.Client.Types.ConfiguredId
   , module Distribution.Client.Types.ConfiguredPackage
   , module Distribution.Client.Types.BuildResults
@@ -31,6 +32,7 @@ module Distribution.Client.Types
 
 import Distribution.Client.Types.AllowNewer
 import Distribution.Client.Types.BuildResults
+import Distribution.Client.Types.Command
 import Distribution.Client.Types.ConfiguredId
 import Distribution.Client.Types.ConfiguredPackage
 import Distribution.Client.Types.PackageLocation

cabal-install/src/Distribution/Client/Types/Command.hs

@@ -0,0 +1,9 @@
+-- |
+
+module Distribution.Client.Types.Command where
+
+
+-- | Tracks what command is being executed, because we need to hide this somewhere
+-- for cases that need special handling (usually for error reporting).
+data CurrentCommand = InstallCommand | HaddockCommand | BuildCommand | ReplCommand | OtherCommand
+  deriving (Show, Eq)