ghc: Update containers submodule

Also update a few tests, since containers now has IsList instances.

Signed-off-by: Austin Seipp <austin@well-typed.com>
base: Document Foreign.ForeignPtr (#8475)

Signed-off-by: Austin Seipp <austin@well-typed.com>
rts: remove stable-names from hashtable upon free

This fixes #9078.

Signed-off-by: Austin Seipp <austin@well-typed.com>
integer-gmp: do not confuse ./configure (#8783)

Signed-off-by: Austin Seipp <austin@well-typed.com>
Extract derived constants from nm output for various OSes differently.

Fixes #8783.

In order to avoid querying the nm version that does not work on Mac OS X
we use the "nm -P" output that is supposed to produce (more portable)
POSIX output and works on all tested OSes (MinGW, Mac OS X, Solaris and
Linux using GNU nm) although slightly different (as documented). The "nm
-P" output is actually only needed to recognize the output of a non-GNU
Solaris nm (all other OSes produce sane outut using "nm" only).

Signed-off-by: Austin Seipp <austin@well-typed.com>
Tighten up wording in the section on let-generalisation and MonoLocalBinds
Remove the bit about External Core from flags.xml

This is a lefover vestige from Austin's removal of External Core
Re-add 'classP' with a compatible implementation and a deprecation notice
Provide deprecated backward compatible implementation to 'equalP'
Catch some typos
Fix below warning by including "unistd.h" also

exec_signals_prepare.c:26:5: warning: implicit declaration of function 'execv' is invalid in C99
      [-Wimplicit-function-declaration]
    execv(argv[1], argv+1);
    ^
1 warning generated.
Harden imports in `DeriveConstants.hs` module

This was generated by applying `-ddump-minimal-imports` and addresses
the current compile failure (see #9016) with GHC HEAD due to the new
`die` being exported by `System.Exit`

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Coercible: Unwrap newtypes before coercing under tycons

This fixes parts of #9117.
Coercible: Test case for now broken(?) corner case

involving a non-terminating newtype. This worked before 7e78faf03.
Probably not a problem, but still better to have a test case for it. See
ticket #9117.
Tweaks to note; also fixed unicode quotes

to regular ones.
Simple eta reduction in call to adjustMatchResults, just a tidy-up
Make the unifier a fixpoint even for the free kind vars of a tyvar

The (pure) unifier tcUnifyTys returns an idempotent substitution.
But previously the kinds of type variables free in the range of
the subst could have un-substituted kind variables.

This patch fixes that, fixing Trac #9106.

See Note [Finding the substitution fixpoint] in Unify
Better pretty-printing for ClsInst
More debug info for failures in typeKind and kindFunResult
White space only