Signed-off-by: Austin Seipp <austin@well-typed.com>

The TL;DR is that by adding this, we can distinguish GHC 7.8.3 from
7.8.2, which had a buggy implementation. See the ticket for details.

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit bd5f3ef6)

Signed-off-by: Austin Seipp <austin@well-typed.com>

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit 0567a313)

This also makes ghc-pkg.cabal `default-extensions`-free

NB: Printing this commit via `git show --ignore-all-spaces` shows the
    only non-whitespaces changes are in `ghc-pkg.cabal`

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
(cherry picked from commit 913b3146)

Conflicts:
	utils/ghc-pkg/ghc-pkg.cabal

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
(cherry picked from commit 5f3c5384)

Signed-off-by: Austin Seipp <austin@well-typed.com>

This is just documentation for the fix to Trac #9161

(cherry picked from commit 0757831e)

This is needed to give meaningful error messages (instead of internal
panics) when a program tries to lift a pattern synonym into a kind.
(fixes T9161)

(cherry picked from commit aa3166f4)

(cherry picked from commit 616f54bd)

This was a serious bug, exposed by Trac #9175.  The matcher and wrapper
must be LocalIds, like record selectors and dictionary functions, for
the reasons now documented in Note [Exported LocalIds] in Id.lhs

In fixing this I found
 - PatSyn should have an Id inside it (apart from the wrapper and matcher)
   It should be a Name.  Hence psId --> psName, with knock-on consequences

 - Tidying of PatSyns in TidyPgm was wrong

 - The keep-alive set in Desugar.deSugar (now) doesn't need pattern synonyms
   in it

I also cleaned up the interface to PatSyn a little, so there's a tiny knock-on
effect in Haddock; hence the haddock submodule update.

It's very hard to make a test for this bug, so I haven't.

(cherry picked from commit 7ac600d5)

Conflicts:
	utils/haddock

We now display the foralls of a type if any of the type variables
is polykinded.  This put kind polymorphism "in your face" a bit more
often, but eliminates a lot of head scratching.

The user manual reflects the new behaviour.

(cherry picked from commit 2f3ea952)

Conflicts:
	testsuite/tests/ghci/scripts/ghci059.stdout
	testsuite/tests/polykinds/T7438.stderr

We simply weren't giving anything like the right instantiating types
to patSynInstArgTys in matchOneConLike.

To get these instantiating types would have involved matching the
result type of the pattern synonym with the pattern type, which is
tiresome.  So instead I changed ConPatOut so that instead of recording
the type of the *whole* pattern (in old field pat_ty), it not records
the *instantiating* types (in new field pat_arg_tys).  Then we canuse
TcHsSyn.conLikeResTy to get the pattern type when needed.

There are lots of knock-on incidental effects, but they mostly made
the code simpler, so I'm happy.

(cherry picked from commit 0a55a3ca)

(cherry picked from commit cbe59d89)

This way, the Ids for the matchers/wrappers are reused by importing
modules, and thus unfoldings are kept.

Also updates haddock submodule to accomodate tweaks in PatSyn representation

(cherry picked from commit ac2796e6)

Conflicts:
	utils/haddock

(cherry picked from commit eeaea2df)

(cherry picked from commit 7233638b)

in pattern synonym definitions

(cherry picked from commit dd3a6d27)

(cherry picked from commit b7f51d60)

(cherry picked from commit c269b7e8)

(cherry picked from commit d2c4f975)

  * fix links to the User's Guide in ghc and ghci --help messages
  * fix default stack size info in RTS help message

(cherry picked from commit 311c55d1)

This enables GHC's PIC machinery for accessing tickboxes of other
packages correctly when building dynamic libraries. Previously
GHC was doing strange and wrong things in that situation. See #9012.

(cherry picked from commit 3285a3d5)

(cherry picked from commit db869e75)

This patch makes the code a bit simpler if anything.

(cherry picked from commit b1436f55)

isSynTyCon is true of type *family* TyCons, which *are* allowed
in TyConAppCo

(cherry picked from commit 3fd7f543)

* Document isSynTyCon better
* Add isTypeSyonymTyCon for regular H98 type synonyms
* Use isTypeSynonymTyCon rather than isSynTyCon where
  the former is really intended

All arose as part of a bug I introduced when fixing Trac #9102,
thinking that isSynTyCon meant H98 type syononyms.

(cherry picked from commit 022f8750)

mkAppCoFlexible was breaking the invariant that the head of a TyConAppCo cannot
be a type synonym.  This small patch fixes it.

(cherry picked from commit 21f17d06)

That is why Lint didn't nail Trac #9102

(cherry picked from commit 4cfc1fae)

(cherry picked from commit 8a0aa198)

this seems to be expected, as explained by SPJ in comment 7 of #9208.

(cherry picked from commit 518ada5c)

(cherry picked from commit f5026170)

Inaccessible equations in a closed type family now leads to a
warning, not an error. This echoes what happens at the term level.

(cherry picked from commit 6a1d7f97)

Summary: Check for integer overflow in allocate() (#9172)

Test Plan: validate

Reviewers: austin

Reviewed By: austin

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D36

(cherry picked from commit db641808)

Conflicts:
	testsuite/.gitignore

(cherry picked from commit 127c45ea)

Conflicts:
	testsuite/tests/polykinds/all.T

This was shown up by Trac #9222.

(cherry picked from commit 2be99d23)

This is a tricky case exposed by Trac #9254.  I'm surprised it hasn't
shown up before, because it's happens when you use unsafePerformIO in
the right way.

Anyway, fixed now.  See Note [Analysing with absent demand]
in Demand.lhs

(cherry picked from commit d6ee82b2)

(cherry picked from commit c44da48c)

Summary:
Allow the CPP program and flag choices for GHC
be configured via the the ghc settings file

Test Plan: ran validate yesterday

Reviewers: hvr, austin, mzero, simonmar

Reviewed By: austin, mzero, simonmar

Subscribers: mzero, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D26

(cherry picked from commit 34f7e9a3)

Signed-off-by: Austin Seipp <austin@well-typed.com>