Fix #8677 (fallout from #8180)

When using TemplateHaskell and -prof, we *do not* want -dynamic-too, because
we're going to *expect* that you compiled the vanilla/dyn way already,
and are compiling profiling the second time (i.e. so GHCi can just load
the normal, non-profiled object files.)

Signed-off-by: Austin Seipp <austin@well-typed.com>
Merge branch 'master' of https://github.com/bgamari/ghc
Fix some of the 32bit perf numbers.

A few appear to have bitrotted a little. There are others we are
actually doing better on, but that will come in the next commit.

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

Rather hilarious (and my fault.)

Signed-off-by: Austin Seipp <austin@well-typed.com>
Clean up the release notes.

In particular, spell out the current dynamic situation, clean up the
FIXMEs and xrefs, and don't forget to mention InterruptibleFFI.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Also mention Pattern Synonyms (but with a FIXME)

Signed-off-by: Austin Seipp <austin@well-typed.com>
More release note touchups.

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

Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix more 32 bit performance fallout.

Some of these are actually worse than I thought upon inspection, but
after a little digging I haven't found exactly what has caused them.
Some were certainly bitrotted, but others seem updated more recently, so
something has slipped.

I'll be filing a ticket about these.

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

Signed-off-by: Austin Seipp <austin@well-typed.com>
Release notes: mention Mavericks and some bugs

Signed-off-by: Austin Seipp <austin@well-typed.com>
And don't forget FreeBSD

Signed-off-by: Austin Seipp <austin@well-typed.com>
Revert "Fix more 32 bit performance fallout."

This reverts commit c5088e299a66109346057afc151c33e47b850b92.
Fix 32bit numbers (again)

My build settings were wrong last time.

Signed-off-by: Austin Seipp <austin@well-typed.com>
One more fix (T3064)

Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix spelling of language pragma
More demand analyser test cases

catching mistakes that I had during my refactoring, and which I do not
want to do again.
Some polishing of the demand analyser.

I did some refactoring of the demand analyser, because I was smelling
some minor code smell. Most of my changes I had to undo, though,
adding notes and testcases on why the existing code was correct after
all.

Especially the semantics of the DmdResult is confusing, as it differs in
a DmdType and a StrictSig.

I got to imrpove the readability of the code for lubDmdType, though.

Also, dmdAnalRhs was a bit fishy in how it removed the demand on
further arguments of the body, but used the DmdResult. This would be
wrong if a body would return a demand type of "<L>m" (which currently
does not happen).  This is now treated better in removeDmdTyArgs.
Some typos in comments
User documentation for pattern synonyms