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
Squash some spelling issues
Tweak the example
Mention #3202 (no monomorphism restriction in GHCi) in release notes

This change seems worth mentioning
Fix the Win64 RTS linker & disable .ctors

This fixes #7134

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