Cabal 3.8.0.20220526 Changelog

Significant changes

• Cabal init rewrite #1074 #6758 #6864 #7251 #7255 #7256 #7273

  • Restructures the cabal init command to fix historical issues. All flags are preserved.

    • Codebases for interactive and non-interactive flags are disentangled.
    • Data structures now exploit relevant stanza structure and formatters only care about stanza data
    • Heuristics and prompts have a pure and impure implementation.

  • Sets default behavior to be --interactive as opposed to --non-interactive.

  • Rewrites tests to achieve 98% coverage

    • Golden files now test every stanza individually
    • Every flag is covered by a unit test
    • Interactive, simple, and non-interactive workflows are covered.

• Make Paths_ modules work with non-standard preludes again #7494 #7649

  • Reverts #7510 that failed on Windows when used with pre-generated scripts included in packages such as network, time, process.
  • Adds a subtler fix/workaround for the deficiencies of new autoconf versions on Windows.

• Windows: rewrite paths to configure #7494 #7649

• Expose cabal-install as library #1597 #3781 #4798 #6090 #7224 #7358

• Allow preprocessors to register a reordering #55 #1906

  • Changes the PreProcessor type to include a field ppOrdering so that modules are presented to the preprocessor in the right order (w.r.t. dependencies)

• Use ghc -flink-rts option when available #7763 #7764 #8111

  Previously Cabal did quite some headstands to link against libHSrts. Note only this is complex but it couples very tightly to GHC's implementation. Thankfully, as of GHC 9.0 GHC provides a -flink-rts flag for precisely this purpose. Use it when available.

  It fixed a bug which make Cabal unusable to build foreign libraries for windows and ghc 9.0 or 9.2. See https://gitlab.haskell.org/ghc/ghc/-/issues/20520

• Remove the Generic instance of LicenseId #8074 #8117

  • The Generic instance of LicenseId is removed, due to the extraordinary amount of memory required to compile the Generic instances of large sum types in GHC.

Other changes

• Handle option argument parse errors without 'error' #7573 #7579

  • Errors parsing arguments such as -v=3 no longer result in stack traces.
  • Distribution.ReadE.readEOrFail was removed.

• Fix bugs in filename validation #7426 #7429 #7479

  • Relative paths starting with single-character directories are now properly allowed
  • cabal check rejects paths which are invalid on Windows or in tarballs

• Fix test --enable-coverage for multi-package projects #5213 #5433 #7200 #7250 #7467

  • Fix cabal test --enable-coverage for multi-package projects by invoking hpc markup --include= and listing only modules of libraries of the single tested package.

• Make cabal respect setgid permission bit when creating directories #7560 #7572

  • Previously cabal would override an admin's choice to use setgid on the .cabal directory by using hardcoded file and directory modes upon creation. Instead we now take what the system decides and only add to that set of permissions.

• Handle conditionals in duplicate module checks #4629 #7525 #7616

  Improves cabal check logic for duplicate modules to take into account conditional branches. If a module appears on both sides of an if/else clause in a cabal file, it is now correctly not reported as a duplicate.

• Backtrack when no pkg-config is present #7448 #7621

  When solving for pkgconfig-depends, when pkg-config is not present, the cabal solver will now backtrack and try a different automatic flag and dependency configuration, just as it does if pkg-config is present, but does not contain the specified package.

• Add code-generators field to test-suite stanza #4500 #7688

  Test-suite stanzas now may contain a code-generators: field that can be used to run executables as preprocessors which take existing locations of library code and cabal-generated ghc build flags, and output new modules for use in the test stanza. This can be used to automatically generate drivers for "discover" style tests, including doctests.

• Terminate subprocesses when killed #7914 #7921

  • cabal (and 'cabal run' in particular) no longer leaves children running when it is killed (unix)

• Cleanup subprocess helpers, remove obsolete functions #7995

  • Distribution.Compat.Process: Remove createProcess, runInteractiveProcess and rawSystem.
  • Distribution.Simple.Utils: Remove printRawCommandAndArgs, printRawCommandAndArgsAndEnv and createProcessWithEnv.

• Allow glob-star matches with literal filenames (no extensions) #5883 #8005

  • Cabal file glob syntax extended to allow matches of the form dir/**/FileNoExtension

• Flatten duplicate warnings about experimental features #8023

  • Make builds that use experimental Cabal language features less noisy. At -v1 (normal) we show just first instance of use of experimental cabal language features, along with count of further occurrences in the same file.

• Fix Cabal not finding public sublibraries of installed packages #7270 #8089

  Fix bug in lookup of installed sublibraries with nonexact dependencies (ie. when not using --exact-configuration). That is the mode of operation of distribution packages, so this should allow distros to package Cabal packages with multiple libraries.

• Make type field optional for tests and benchmarks #7459 #8115

  Allow the omission of the type field in test-suite and benchmark stanzas when the type can be inferred by the presence of main-is or test-module.

• Improve error message for empty --allow-newer= #7740 #8140

  Instead of internal error, the message now explains that empty argument for

  argument) means.

• Create Cabal-syntax for .cabal files #7559 #7620

• Fix haddock command via Setup.hs for internal libraries #1919 #7827

• ghc-options and --with-gcc are now passed to GHC when compiling C and C++ sources #4439 #5440 #7874

• 'cabal check' to fail when no upper bounds for base or Cabal are present in setup dependencies #4683 #5370 #7409

• --repl-options doesn’t split on whitespace #6190 #7799

• '--repl-no-load' option skips startup modules load in REPL #7541 #7578

• Add -c alias for --constraint command line flag #7765 #7766

• Add "prompt" strategy when symlinking binaries. #5672

• Add fields extra-libraries-static and extra-lib-dirs-static #6688 #7399 #7536

• Paths passed to GHC are now relative to the current working directory

• Automatically pipe auth from repo uris into curl transport. #4743 #7630

• raise lower bound of process and remove compatibility shims #7922

• changes the cabal check warning about long synopsis, so it warns only synopsis bigger than the set size #7932 #7933

• Remove bootstrapping plan files from version control, and simplify bootstrap update Makefile targets. #7949

• Remove deprecated file finding functions #7955

• Support GHC 9.4's clang-based Windows toolchain #8062

• Add support for the 64-bit S390X architecture #8065

• Add wasm32-wasi to recognized arch/os #8096

• Unmarked "visibility: public" and "build-depends: pkg:lib" syntaxes as experimental, allowing Hackage upload of packages exposing or using multiple public libraries #6801 #7286 #8089

• Sync repo darcs #7137

• Cabal-syntax Derive Eq for DependencyMap #7849 #8061

• Cabal-syntax Allow trailing whitespace after flags in cabal.project #7279 #8006

• Cabal-syntax Update the SPDX License List to version 3.16 #8126 #8127

  The LicenseId and LicenseExceptionId types are updated to reflect the SPDX License List version 3.16 (2022-02-06).

• Added fields :pkg-field:extra-libraries-static and :pkg-field:extra-lib-dirs-static to allow Haskell libraries to remember linker flags needed for fully static linking of system libraries into executables. #7536

• The existing field :pkg-field:pkgconfig-depends can used to append the relevant output of pkg-config --libs --static to these new fields automatically. When :pkg-field:extra-libraries-static is not given, it defaults to :pkg-field:extra-libraries. When :pkg-field:extra-lib-dirs-static is not given, it defaults to :pkg-field:extra-lib-dirs. #7536