Make cabal check reject packages with invalid file names

[phadej]

Describe the feature request

Make cabal check reject packages when source distribution contains files with invalid names on any operating system. For example aux is not valid on Windows (and Windows file systems are case insensitive)., so e.g. module Foo.Aux.Helpers or Language.Con, Foreign.Nul are a bad idea.

Additional context

I think calling explicitly, System.FilePath.Posix.isValid and System.FilePath.Windows.isValid would be enough.

[ulysses4ever]

Sounds reasonable. @ffaf1, any thoughts?

[ffaf1]

It is a sensible request. We already do some isValid checks with regard to Windows

cabal/Cabal/src/Distribution/PackageDescription/Check.hs

Lines 574 to 580 in 1e93e57

	checkPackageId :: Monad m => PackageIdentifier -> CheckM m ()
	checkPackageId (PackageIdentifier pkgName_ _pkgVersion_) = do
	checkP
	(not . FilePath.Windows.isValid . prettyShow $ pkgName_)
	(PackageDistInexcusable $ InvalidNameWin pkgName_)
	checkP (isPrefixOf "z-" . prettyShow $ pkgName_) $
	(PackageDistInexcusable ZPrefix)

We just need to get this right with regard to — say — excluding autogenerated modules and the like.

[phadej]

We just need to get this right with regard to — say — excluding autogenerated modules

You don't need to exclude them. Autogenerated modules will also have files on the filesystem. (EDIT: when autogenerated...)