Make `#include "Rts.h"` C++-compatible again (re #8676)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Make worker-wrapper unbox data families

by passing the FamInstEnvs all the way down. This closes #7619.
Simplify doCorePass
Test case for #T7619

(artificial test cases are so nice: 90.7% improvement!)
Explain why TcAxiomInstCo carries [TcCoercion], and not [TcType]
Implement pattern synonyms

This patch implements Pattern Synonyms (enabled by -XPatternSynonyms),
allowing y ou to assign names to a pattern and abstract over it.

The rundown is this:

  * Named patterns are introduced by the new 'pattern' keyword, and can
    be either *unidirectional* or *bidirectional*. A unidirectional
    pattern is, in the simplest sense, simply an 'alias' for a pattern,
    where the LHS may mention variables to occur in the RHS. A
    bidirectional pattern synonym occurs when a pattern may also be used
    in expression context.

  * Unidirectional patterns are declared like thus:

        pattern P x <- x:_

    The synonym 'P' may only occur in a pattern context:

        foo :: [Int] -> Maybe Int
        foo (P x) = Just x
        foo _     = Nothing

  * Bidirectional patterns are declared like thus:

        pattern P x y = [x, y]

    Here, P may not only occur as a pattern, but also as an expression
    when given values for 'x' and 'y', i.e.

        bar :: Int -> [Int]
        bar x = P x 10

  * Patterns can't yet have their own type signatures; signatures are inferred.

  * Pattern synonyms may not be recursive, c.f. type synonyms.

  * Pattern synonyms are also exported/imported using the 'pattern'
    keyword in an import/export decl, i.e.

        module Foo (pattern Bar) where ...

    Note that pattern synonyms share the namespace of constructors, so
    this disambiguation is required as a there may also be a 'Bar'
    type in scope as well as the 'Bar' pattern.

  * The semantics of a pattern synonym differ slightly from a typical
    pattern: when using a synonym, the pattern itself is matched,
    followed by all the arguments. This means that the strictness
    differs slightly:

        pattern P x y <- [x, y]

        f (P True True) = True
        f _             = False

        g [True, True] = True
        g _            = False

    In the example, while `g (False:undefined)` evaluates to False,
    `f (False:undefined)` results in undefined as both `x` and `y`
    arguments are matched to `True`.

For more information, see the wiki:

    https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms
    https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms/Implementation

Reviewed-by: Simon Peyton Jones <simonpj@microsoft.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>
T7336 is expected to be broken because of a regression introduced by pattern synonym implementation

Signed-off-by: Austin Seipp <austin@well-typed.com>
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>
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>