Warn if untrimmed URI is detected

- Error if an untrimmed URI is detected
- Add a changelog
- Add UntrimmedImport tests
- Soften the error down to a warning
- Use with-ghc.config trick
- Add fix-whitespace exceptions for test projects
- Include W3C quote is changelog
- Remove unused LANGUAGE pragma
- Rerun test now that URL imports are sorted last
- Move test underneath ProjectImport parent dir

Author: philderbeast

cabal-install-solver/src/Distribution/Solver/Types/ProjectConfigPath.hs

@@ -14,11 +14,13 @@ module Distribution.Solver.Types.ProjectConfigPath
     , docProjectConfigPath
     , docProjectConfigFiles
     , cyclicalImportMsg
+    , untrimmedUriImportMsg
     , docProjectConfigPathFailReason
 
     -- * Checks and Normalization
     , isCyclicConfigPath
     , isTopLevelConfigPath
+    , isUntrimmedUriConfigPath
     , canonicalizeConfigPath
     ) where
 
@@ -155,6 +157,14 @@ cyclicalImportMsg path@(ProjectConfigPath (duplicate :| _)) =
     , nest 2 (docProjectConfigPath path)
     ]
 
+-- | A message for an import that has leading or trailing spaces.
+untrimmedUriImportMsg :: Doc -> ProjectConfigPath -> Doc
+untrimmedUriImportMsg intro path =
+    vcat
+    [ intro <+> text "import has leading or trailing whitespace" <> semi
+    , nest 2 (docProjectConfigPath path)
+    ]
+
 docProjectConfigPathFailReason :: VR -> ProjectConfigPath -> Doc
 docProjectConfigPathFailReason vr pcp
     | ProjectConfigPath (p :| []) <- pcp =
@@ -183,6 +193,11 @@ nullProjectConfigPath = ProjectConfigPath $ "unused" :| []
 isCyclicConfigPath :: ProjectConfigPath -> Bool
 isCyclicConfigPath (ProjectConfigPath p) = length p /= length (NE.nub p)
 
+-- | Check if the last segment of the path (root or importee) is a URI that has
+-- leading or trailing spaces.
+isUntrimmedUriConfigPath :: ProjectConfigPath -> Bool
+isUntrimmedUriConfigPath (ProjectConfigPath (p :| _)) = let p' = trim p in p' /= p && isURI p'
+
 -- | Check if the project config path is top-level, meaning it was not included by
 -- some other project config.
 isTopLevelConfigPath :: ProjectConfigPath -> Bool

cabal-install/src/Distribution/Client/ProjectConfig/Legacy.hs

@@ -126,6 +126,7 @@ import Distribution.Simple.Setup
 import Distribution.Simple.Utils
   ( debug
   , lowercase
+  , noticeDoc
   )
 import Distribution.Types.CondTree
   ( CondBranch (..)
@@ -275,6 +276,9 @@ parseProjectSkeleton cacheDir httpTransport verbosity projectDir source (Project
         if isCyclicConfigPath normLocPath
           then pure . parseFail $ ParseUtils.FromString (render $ cyclicalImportMsg normLocPath) Nothing
           else do
+            when
+              (isUntrimmedUriConfigPath importLocPath)
+              (noticeDoc verbosity $ untrimmedUriImportMsg (Disp.text "Warning:") importLocPath)
             normSource <- canonicalizeConfigPath projectDir source
             let fs = (\z -> CondNode z [normLocPath] mempty) <$> fieldsToConfig normSource (reverse acc)
             res <- parseProjectSkeleton cacheDir httpTransport verbosity projectDir importLocPath . ProjectConfigToParse =<< fetchImportConfig normLocPath

cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/cabal.out

@@ -0,0 +1,30 @@
+# checking project import with trailing space
+# cabal v2-build
+Warning: import has leading or trailing whitespace;
+  'https://www.stackage.org/nightly-2024-12-05/cabal.config '
+    imported by: trailing-space.project
+Configuration is affected by the following files:
+- trailing-space.project
+- with-ghc.config
+    imported by: trailing-space.project
+- https://www.stackage.org/nightly-2024-12-05/cabal.config
+    imported by: trailing-space.project
+Resolving dependencies...
+Build profile: -w ghc-<GHCVER> -O1
+In order, the following would be built:
+ - my-0.1 (lib:my) (first run)
+# checking project import with tabs and spaces
+# cabal v2-build
+Warning: import has leading or trailing whitespace;
+  'https://www.stackage.org/nightly-2024-12-05/cabal.config		   '
+    imported by: tabs-and-spaces.project
+Configuration is affected by the following files:
+- tabs-and-spaces.project
+- with-ghc.config
+    imported by: tabs-and-spaces.project
+- https://www.stackage.org/nightly-2024-12-05/cabal.config
+    imported by: tabs-and-spaces.project
+Resolving dependencies...
+Build profile: -w ghc-<GHCVER> -O1
+In order, the following would be built:
+ - my-0.1 (lib:my) (first run)

cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/cabal.test.hs

@@ -0,0 +1,14 @@
+import Test.Cabal.Prelude
+
+main = cabalTest . recordMode RecordMarked $ do
+  let log = recordHeader . pure
+
+  log "checking project import with trailing space"
+  trailing <- cabal' "v2-build" [ "--dry-run", "--project-file=trailing-space.project" ]
+  assertOutputContains "import has leading or trailing whitespace" trailing
+  assertOutputContains "'https://www.stackage.org/nightly-2024-12-05/cabal.config '" trailing
+
+  log "checking project import with tabs and spaces"
+  cabal "v2-build" [ "--dry-run", "--project-file=tabs-and-spaces.project" ]
+
+  return ()

cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/my.cabal

@@ -0,0 +1,9 @@
+name:           my
+version:        0.1
+license:        BSD3
+cabal-version:  >= 1.2
+build-type:     Simple
+
+library
+    exposed-modules:    Foo
+    build-depends:      base

cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/tabs-and-spaces.project

@@ -0,0 +1,3 @@
+packages: .
+import:		https://www.stackage.org/nightly-2024-12-05/cabal.config		   
+import: with-ghc.config

cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/trailing-space.project

@@ -0,0 +1,3 @@
+packages: .
+import: https://www.stackage.org/nightly-2024-12-05/cabal.config 
+import: with-ghc.config

cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/with-ghc.config

@@ -0,0 +1,7 @@
+-- WARNING: Override the `with-compiler: ghc-x.y.z` of the stackage import, of
+-- https://www.stackage.org/nightly-yyyy-mm-dd/cabal.config. Otherwise tests
+-- will fail with:
+--   -Error: [Cabal-5490]
+--   -Cannot find the program 'ghc'. User-specified path 'ghc-x.y.z' does not
+--    refer to an executable and the program is not on the system path.
+with-compiler: ghc

changelog.d/pr-10629

@@ -0,0 +1,13 @@
+---
+synopsis: "Report trailing spaces in project import URIs"
+packages: [cabal-install, cabal-install-solver]
+prs: 10629
+issues: 10622
+---
+
+> A string is a valid URL potentially surrounded by spaces if, after stripping
+> leading and trailing whitespace from it, it is a valid URL."
+> SOURCE: [W3C/HTML5/URLs](https://www.w3.org/TR/2010/WD-html5-20100624/urls.html)
+
+Fixes a problem of mistaking a URI for a file path when it has trailing spaces
+and warn about such trailing spaces.

fix-whitespace.yaml

@@ -95,6 +95,8 @@ excluded-files:
   - Cabal-tests/tests/ParserTests/warnings/tab.cabal
   - Cabal-tests/tests/ParserTests/warnings/utf8.cabal
   - cabal-testsuite/PackageTests/Regression/T8507/pkg.cabal
+  - cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/trailing-space.project
+  - cabal-testsuite/PackageTests/ProjectImport/UntrimmedImport/tabs-and-spaces.project
 
   # These also contain tabs that affect the golden value:
   # Could be removed from exceptions, but then the tab warning