[#5484] Add 'storedir' alias for 'store-dir'

Foreign Library RTS Selection

Don't throw away any program args in new-style commands

Josh Kalderimis authored 6 years ago and Edward Z. Yang committed 6 years ago

* use sudo: true on travis ci

* minor comment to explain previous change

This relies on having 4 core 16 gigs Travis machines enabled for the account.

Preprocess cabal-install.cabal

- Disable cabal-install's haddock on CI
- Temporarily disable cabal check (`-main-is` in tests)
- Remove this is not a lib note
- Tell to run git update-index --assume-unchanged

    ... when changing to -dev or -monolithic configuration.

    Run --no-assume-unchanged unconditionally, when
    changing to the production build.
- Improve auto-gen note in cabal-install.cabal
- Try to build haddock (with GHC-8.4.3 only)

- traversed is just a synonym for traverse
- filtered and non are "trust me". I don't: so they are defined locally.
- `to` is a lie, so renamed it to `getting` (also generalising the type).
- Also `unsafeCoerce`???
- Added `@since` annotations

Correct previous markup [skip ci]

GHC-8.6.1-beta is bunded with
- binary-0.8.6.0
- time-1.8.0.2
- unix-2.7.2.2

Solver: Improve handling of failures involving whole packages, such as unknown packages.

Make GenericPackageDescription lenses more maintainable

Record synatx is easier to read and more robust against refactors.

Previously, the solver represented an unknown package with an empty PChoice
node, because an unknown package is like a package with no versions.  Now that
--reject-unconstrained-dependencies also needs to reject whole packages, it is
simpler to handle both types of failures similarly, and use a failure node for
both.  Another advantage of using a failure node now is that the node can store
more information about why the package was rejected.  The explicit node also
simplifies generating the solver log.

This commit treats a failure node under a goal choice as a backjump in
D.S.Modular.Explore.exploreLog, which fixes #5502.

The case gave the same result as a combination of two other simpler cases.

Alex Biehl authored 6 years ago and Herbert Valerio Riedel committed 6 years ago

This prevents the `--store-dir` value from being cached
and thus fixes #5504

Alex Biehl authored 6 years ago and Herbert Valerio Riedel committed 6 years ago

With `--haddock-for-hackage` we were passing `file://..` urls to the html directories; 
this was clearly undesirable and unintended.

This regression was originally introduced via d331bb08

docs: mention hiding in mixins and issues for the parsing bug

[skip ci]

Alec Theriault authored 6 years ago and Herbert Valerio Riedel committed 6 years ago

We only error-out when an explicit `--(haddock-)quickjump` is specified on a version of
Haddock that doesn't support it.

However, if `--(haddock-)quickjump` was implied by `--(haddock-)for-hackage`, we should just
warn.

Fixes #5494.

George Wilson authored 6 years ago and Herbert Valerio Riedel committed 6 years ago

[ci skip]

This restricts the solver to a closed set of packages.

Previously, even with freeze files, there was no good way to instruct
cabal-install to avoid pulling in extra, unconstrained
packages. `--reject-unconstrained-dependencies=all` forces the solver
to stay within the set of packages that are either local packages,
explicit goals, or which are explicitly constrained in configuration
files or via the `--constraint` flag

Closes #2568.

Remove a '*' kind annotation

This was failing on Mac because of clang preprocessor warnings.