Fix Trac #7667.

We no longer check capitalization (or colons) in names that come
from TH, according to the commentary in #7667.
Weaken the improvement for subtraction.

For details see the comment on `interactTopSub`.
Typo in manual

Remove remains of old role syntax
Fix Trac #7667.

We no longer check capitalization (or colons) in names that come
from TH, according to the commentary in #7667.
Trivial comment fix. (#8358)

Version of Happy required is now 1.19.
Added comments to BooleanFormula to explain the expression simplifier. (#7633)
Update `Cabal` to 1.18.1.1 final
Improve documentation (Related to #8447)
Generate (old + 0) instead of Sp in stack checks

When compiling a function we can determine how much stack space it will
use. We therefore need to perform only a single stack check at the beginning
of a function to see if we have enough stack space. Instead of referring
directly to Sp - as we used to do in the past - the code generator uses
(old + 0) in the stack check. Stack layout phase turns (old + 0) into Sp.

The idea here is that, while we need to perform only one stack check for
each function, we could in theory place more stack checks later in the
function. They would be redundant, but not incorrect (in a sense that they
should not change program behaviour). We need to make sure however that a
stack check inserted after incrementing the stack pointer checks for a
respectively smaller stack space. This would not be the case if the code
generator produced direct references to Sp. By referencing (old + 0) we make
sure that we always check for a correct amount of stack: when converting
(old + 0) to Sp the stack layout phase takes into account changes already
made to stack pointer. The idea for this change came from observations made
while debugging #8275.
Trailing whitespaces
Remove unused code

I am removing old loopification code that has been commented out
for long long time. We now have loopification implemented in
the code generator (see Note [Self-recursive tail calls]) so we
won't need to resurect this old code.
Trailing whitespaces
Minor code refactoring in HscMain

Compiled HscMain.o is now smaller.
Document -c in hp2hs(1)

This fixes #8452.
Correct release notes about SIMD support.
Fix typo
Support the syntax [e||...||] for typed expression brackets.
Document new typed Template Haskell features.
Add typed Template Haskell details to the release notes.
Optimise stack checks that are always false

Fix a bug introduced in 94125c97e49987e91fa54da6c86bc6d17417f5cf.
See Note [Always false stack check]