Fix T9160 under ./validate

Signed-off-by: Austin Seipp <austin@well-typed.com>
Control CPP through settings file (#8683)

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 34f7e9a3c99850859901ca74370f55f1d4e2279a)
Remove extraneous debugging output (#9071)

(cherry picked from commit c44da48c6d19b3d8cc0ba34328576683410f8ec2)
Fix demand analyser for unboxed types

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 d6ee82b29598dcc1028773dd987b7a2fb17519b7)
In TcValidity.checkAmbiguity, skolemise kind vars that appear free in the kinds of type variables

This was shown up by Trac #9222.

(cherry picked from commit 2be99d2309471bc75ddb9cb47acda9ccbcb7ab63)
Test Trac #9222

(cherry picked from commit 127c45ea30eaee6b5244b3f30aaa701d0ad327ac)

Conflicts:
	testsuite/tests/polykinds/all.T
Check for integer overflow in allocate() (#9172)

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 db64180896b395283f443d66a308048c605b217d)

Conflicts:
	testsuite/.gitignore
Fix #9085.

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 6a1d7f9736098d47463a71323d28ece792a59e52)
Test #9085.

(cherry picked from commit f502617065c8716a062c83fc923c3b3a2395c4a8)